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...