Date: Feb 13, 2013 5:17 AM Author: William Elliot Subject: Well Ordering Let S be a set with cardinality aleph_nu.
Since S is equinumerous with omega_nu, there's
. . a bijection h:S -> omega_nu.
Thus S is well ordered by x <= y when h(x) <= h(y);
. . well ordered without using AxC. Hm...