Hi all! I am trying to understand Specker (1953)'s proof (found [here][1]) that the axiom of choice is false in New Foundations. I am stuck on the following point. At 3.5 Specker writes:

3.5. The cardinal numbers are well ordered by the relation "there are sets $a,b$ such that $a \in n, b \in m$ and $a \subseteq b$" (axiom of choice).

I am assuming that this is a consequence of the axiom of choice, which he is using to derive a contradiction. Is that true? If so, how is it a consequence of the axiom of choice?

Thank you!

  [1]: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1063889/pdf/pnas01594-0080.pdf