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