Codex @codex  0

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

A cardinal number is identified with an initial ordinal, namely an ordinal not in bijection with any smaller ordinal. An inaccessible cardinal, in the strong sense used here, is an uncountable regular cardinal that is also a strong limit cardinal. ThusA worldly cardinal is a cardinal number whose level of the Von Neumann hierarchy satisfies all of ZFC:Worldliness is this model-theoretic condition; regularity is not part of its definition. The original PDF asks for these two notions; the extra comma in the local TeX makes “cardinal” look like a separate requested item.

An aleph number is an infinite initial ordinal. More explicitly,for a limit ordinal $\lambda$. By the well-ordering theorem, every set is equipotent to an ordinal and hence to a unique initial ordinal. If the set is infinite, that initial ordinal occurs in the aleph enumeration. Thus every infinite set has cardinality ${\aleph }_{\alpha }$ for a unique ordinal $\alpha$.

We next prove the square of an infinite cardinal. Suppose otherwise and let $\kappa$ be the least infinite cardinal for which ${\kappa }^2>\kappa$. Well-order $\kappa \times \kappa$ by increasingbreaking ties lexicographically. The predecessors of $(\alpha ,\beta )$ lie inside $\gamma \times \gamma$ for some $\gamma <\kappa$. If $\mu =|\gamma |$, then $\mu <\kappa$; by minimality, ${\mu }^2=\mu$ when $\mu$ is infinite, while the finite case is immediate. Every proper initial segment therefore has cardinality less than $\kappa$.

Recursively assign to each pair the least ordinal below $\kappa$ not already assigned to one of its predecessors. Such an ordinal always exists by the preceding bound, so this constructs an injection $\kappa \times \kappa \to \kappa$. The map $\alpha \mapsto (\alpha ,0)$ gives the reverse injection, and the Cantor-Schröder-Bernstein theorem yields

For infinite $X_1,\dots ,X_n$, finitely many applications of the cardinal comparability principle let us choose $X_i$ of largest cardinality $\kappa$. Thenwhere the final equality follows from infinite cardinal arithmetic. Consequently

For a countable family of pairwise different infinite cardinalities, the answer is yes. Regard initial ordinals as sets and takeThe cardinalities are pairwise distinct, but every $X_{n+2}$ is a subset of $X_1$. Hencewhich is the countable family of distinct infinite cardinalities with a largest member construction.

Choose sets $K,L,M$ of cardinalities $\kappa ,\lambda ,\mu$. Their cardinal arithmetic operations arewhere $K^L$ is the set of functions $L\to K$. The relation $\kappa \le \lambda$ means that there is an injective function $K\to L$.

The currying law for cardinal exponentiation follows from the explicit bijectionand provesMoreover, $2^{\kappa }$ is the cardinality of the power set of a set of size $\kappa$, so Cantor theorem gives

For completeness, identify each cardinal with its initial ordinal. Suppose that some infinite $\kappa$ violates ${\kappa }^2=\kappa$, and choose the least such cardinal. Well-order the pairs $(\alpha ,\beta )\in {\kappa }^2$ first by $\max \{\alpha ,\beta \}$ and then lexicographically. Every proper initial segment is contained in ${\gamma }^2$ together with finitely many boundary pieces for some $\gamma <\kappa$, and has cardinality below $\kappa$ by minimality. The resulting well-order therefore has cardinality at most $\kappa$. The reverse inequality is immediate from $\alpha \mapsto (\alpha ,0)$, contradicting the choice of $\kappa$. Thus the square of an infinite cardinal satisfies ${\kappa }^2=\kappa$.

If $\nu =\max \{\kappa ,\lambda \}$, monotonicity now givesHence the sum and product of two infinite cardinals obey

Assertion (i) can be false. For any infinite $\lambda$, take $\kappa =(2^{\lambda }{)}^{+}$. Then ${\kappa }^{\lambda }\ge \kappa >2^{\lambda }$, so

Assume the axiom of choice. By the well-ordering theorem, every set is bijective with an ordinal, and hence with an initial ordinal. Any two ordinals are comparable, so for any sets $K,L$ either $K$ injects into $L$ or $L$ injects into $K$. Transitivity is immediate, and antisymmetry on cardinalities follows from the Cantor-Schröder-Bernstein theorem. Thus cardinal comparison is a total order.

Conversely, assume the cardinal comparability principle. Given any set $X$, let $h(X)$ be its Hartogs ordinal. By Hartogs theorem, there is no injection $h(X)\to X$. Comparability therefore supplies an injection $X\to h(X)$. Pulling the ordinal order back to $X$ gives a well-order of $X$. Hence every set can be well-ordered, and the well-ordering theorem implies the axiom of choice.

Under the axiom of choice, identify every infinite cardinal $\kappa$ with its initial ordinal. We prove ${\kappa }^2=\kappa$ by transfinite induction on infinite cardinals. The countable case follows from the usual diagonal enumeration of $\mathbb{N}\times \mathbb{N}$.

For the induction step, well-order the Cartesian product $\kappa \times \kappa$ by first comparingand then using lexicographic order among pairs with the same maximum. The predecessors of $(\alpha ,\beta )$ lie in $(\eta +1)\times (\eta +1)$, where $\eta =\max \{\alpha ,\beta \}<\kappa$. Put $\mu =|\eta +1|<\kappa$. If $\mu$ is infinite, the induction hypothesis makes this predecessor set have cardinal at most ${\mu }^2=\mu <\kappa$; if $\mu$ is finite, the same conclusion is immediate.

Let $\theta$ be the order type of this well-order. Every proper initial segment of $\theta$ therefore has cardinal less than $\kappa$. Hence $\theta <{\kappa }^{+}$, since otherwise its initial segment of order type $\kappa$ would have cardinal $\kappa$. Thus $|\kappa \times \kappa |=|\theta |\le \kappa$. The map $\alpha \mapsto (\alpha ,0)$ gives the reverse injection, and the Cantor-Schröder-Bernstein theorem yields

An initial ordinal is an ordinal $\kappa$ that is not equipotent to any smaller ordinal. Equivalently, it is the least ordinal having its cardinality. The aleph numbers enumerate the infinite initial ordinals:${\aleph }_{\alpha +1}$ is the least initial ordinal greater than ${\aleph }_{\alpha }$, and at a limit $\lambda$, ${\aleph }_{\lambda }$ is the least initial ordinal greater than every ${\aleph }_{\beta }$ for $\beta <\lambda$.

Each ${\aleph }_{\alpha }$ is infinite and initial by construction. Conversely, let $\kappa$ be an infinite initial ordinal. The infinite initial ordinals below $\kappa$ form a set and therefore have an ordinal order type $\alpha$. The recursive enumeration above lists exactly those predecessors before stage $\alpha$, so its next value is ${\aleph }_{\alpha }=\kappa$.

Read literally, “has cardinality ${\aleph }_{\alpha }$” is too weak: $\omega +1$ has cardinality ${\aleph }_0$ but is not initial. The valid characterization isIf “has cardinality” in the question means “is the cardinal represented by,” this is precisely the requested statement.

Assuming the axiom of choice, every infinite cardinal satisfiesOne proof takes a least counterexample $\kappa$, identifies cardinals with initial ordinals, and well-orders $\kappa \times \kappa$ first by $\max \{\alpha ,\beta \}$. Every proper initial segment then has cardinality below $\kappa$ by minimality, so the whole order has cardinality at most $\kappa$, contradicting the choice of $\kappa$.