Every infinite cardinal is an aleph

ID: 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 , so every infinite cardinal is for a unique ordinal .

New to topics? Read the docs here!