Every infinite cardinal is an aleph (source code)

= Every infinite cardinal is an aleph

Assuming the <axiom of choice>, the <well-ordering theorem> makes every set equipotent to an <initial ordinal>. The infinite initial ordinals are exactly the $\aleph_\alpha$, so every infinite cardinal is $\aleph_\alpha$ for a unique ordinal $\alpha$.