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!