TheoremStatement: AI-adaptedProof: AI-generatedSession-authored (Fable 5 assisted)precheck passverified 2026-08-05 (gpt-5.6-sol-codex-subscription)‡ rests on unproved material (inherited)

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

‡ Rests on 3 statements not proved in this library, by way of the results it cites. This item cites no such statement directly; it depends on results that do. The unproved premises it inherits are ‡ Cohen's first model: an infinite Dedekind-finite set of reals, ‡ Sierpiński 1947: the generalised continuum hypothesis implies the Axiom of Choice and ‡ The continuum hypothesis and its generalisation are independent of ZFC. Each is recorded with a citation to the literature and is not established here, because the track that would prove it has not yet been developed in this library. Everything else in this proof is proved here.

Every infinite cardinal is $\aleph_\alpha$ for exactly one ordinal $\alpha$ , in ZF; and, assuming the Axiom of Choice, every infinite set is equinumerous with exactly one aleph

Statement

(a) In ZF. Every infinite cardinal $\kappa$ (Cardinal (initial ordinal) and cardinality) equals $\aleph_\alpha$ (The successor cardinal $\kappa^{+}$ , the alephs $\aleph_\alpha$ , the beths $\beth_\alpha$ , successor and limit cardinals, and the identifications $\aleph_0 = \omega$ and $\aleph_1 = \omega_1$ ) for exactly one ordinal $\alpha$ . So the alephs are not merely a supply of infinite cardinals: they are all of them, and the operation $\alpha \mapsto \aleph_\alpha$ is a bijective enumeration of the infinite cardinals by the ordinals.

(b) Assuming the Axiom of Choice (The Axiom of Choice). Every infinite set is equinumerous (Equinumerous sets, $A \approx B$ and $A \preceq B$ ) with exactly one aleph.

The two clauses say different things, and the difference is the whole content of the choice hypothesis. Clause (a) classifies cardinals, which are ordinals; clause (b) classifies sets, and needs to know first that an arbitrary set has a cardinality at all.

Facts & Assumptions

Given: ZF; the Axiom of Choice only in clause (b).

[L1]

The operation $\alpha \mapsto \aleph_\alpha$ is defined at every ordinal, takes infinite cardinal values, is strictly increasing, satisfies $\aleph_0 = \omega$ , $\aleph_{\alpha+1} = \aleph_\alpha^{+}$ , $\aleph_\lambda = \bigcup\{\aleph_\beta : \beta \in \lambda\}$ at limits, and satisfies $\alpha \le \aleph_\alpha$ (The clauses at $0$ , at a successor and at a limit determine exactly one operation $\alpha \mapsto \aleph_\alpha$ , in ZF, and — assuming the Axiom of Choice — exactly one operation $\alpha \mapsto \beth_\alpha$ ; each value is an infinite cardinal, each is strictly increasing and continuous at limits, and $\alpha \le \aleph_\alpha$ , The successor cardinal $\kappa^{+}$ , the alephs $\aleph_\alpha$ , the beths $\beth_\alpha$ , successor and limit cardinals, and the identifications $\aleph_0 = \omega$ and $\aleph_1 = \omega_1$ ).

[L2]

$\kappa^{+}$ is the least cardinal strictly above the cardinal $\kappa$ (For every set $A$ the Hartogs number $\aleph(A)$ is a cardinal, and for every cardinal $\kappa$ it is the least cardinal strictly above $\kappa$ ; this is a theorem of ZF).

[L3]

Every nonempty set of ordinals has an $\in$ -least element; ordinals satisfy trichotomy; $\alpha \subseteq \beta$ iff $\alpha \in \beta$ or $\alpha = \beta$ ; an ordinal is a transitive set (Trichotomy and well-ordering of the ordinals, Basic closure properties of ordinals, Ordinal (von Neumann)).

[L4]

Every ordinal is exactly one of $0$ , a successor, or a limit (Successor and limit ordinals); $\omega$ is the least limit ordinal ( $\omega$ is the least limit ordinal).

[L5]

A cardinal $\kappa$ is finite when $\kappa \in \omega$ and infinite when $\omega \subseteq \kappa$ , that is $\omega \le \kappa$ (Cardinal sum $\kappa \oplus \lambda$ , product $\kappa \otimes \lambda$ and exponentiation $\kappa^{\lambda}$ , and why they are written apart from the ordinal operations); and $\omega$ is a cardinal (claim (a) of Every natural number and $\omega$ are cardinals, every infinite cardinal is a limit ordinal, and on the natural numbers the cardinal operations are the published finite counting operations, with $\lvert A \rvert$ in the finite sense equal to $\lvert A \rvert$ in the cardinal sense, Cardinal (initial ordinal) and cardinality).

[L6]

For a well-orderable $X$ , $\lvert X\rvert$ is the least ordinal equinumerous with $X$ , $X \approx \lvert X \rvert$ , it is a cardinal, and $\lvert \alpha \rvert = \alpha$ exactly when $\alpha$ is a cardinal (A set equinumerous with some ordinal has a least such ordinal, that ordinal is a cardinal, and equinumerous sets get the same one; no choice principle is used).

[L7]

Assuming the Axiom of Choice, every set carries a well-order (The well-ordering theorem, The Axiom of Choice).

[L8]

A set is finite when it is equinumerous with a natural number (Finite, countably infinite, countable, uncountable).

Proof

technique · direct

1.1

Let $\kappa$ be an infinite cardinal and put $S = \{\alpha \in \kappa \cup \{\kappa\} : \kappa \le \aleph_\alpha\}$ ; then $\kappa \in S$ , since $\kappa \in \kappa \cup \{\kappa\}$ and $\kappa \le \aleph_\kappa$ by [L1], so $S$ is a nonempty set of ordinals.

L1L3

1.2

The enumeration is injective: if $\aleph_\alpha = \aleph_\beta$ with $\alpha \ne \beta$ then one of $\alpha \in \beta$ , $\beta \in \alpha$ holds by [L3], and strict increase in [L1] makes the two values distinct; so no infinite cardinal is an aleph at two different indices.

L1L3

2.1

Let $\alpha$ be the $\in$ -least element of $S$ , which exists by [L3]; then $\kappa \le \aleph_\alpha$ , and $\aleph_\beta < \kappa$ for every $\beta \in \alpha$ , because $\beta \in \alpha \in \kappa \cup \{\kappa\}$ puts $\beta$ in $\kappa \cup \{\kappa\}$ by transitivity, so $\beta \notin S$ and trichotomy leaves $\aleph_\beta < \kappa$ .

step 1.1L3

3.1

In each of the three cases of [L4] this forces $\kappa = \aleph_\alpha$ : if $\alpha = 0$ then $\omega = \aleph_0 \le \kappa \le \aleph_0$ by [L5], so $\kappa = \aleph_0$ ; if $\alpha = \beta + 1$ then $\aleph_\beta < \kappa$ by step 2.1 and $\kappa$ is a cardinal, so $\aleph_{\beta+1} = \aleph_\beta^{+} \le \kappa$ by [L2], while $\kappa \le \aleph_\alpha$ gives the reverse; and if $\alpha$ is a limit then $\aleph_\beta \subseteq \kappa$ for every $\beta \in \alpha$ by step 2.1, so $\aleph_\alpha = \bigcup\{\aleph_\beta : \beta \in \alpha\} \subseteq \kappa$ by [L1], again with the reverse inequality already in hand.

step 2.1L1L2L3L4L5

4.1

Claim (a) is step 3.1 with the uniqueness of step 1.2; and claim (b) follows: assuming the Axiom of Choice an infinite set $X$ is well-orderable by [L7], so $\lvert X \rvert$ exists by [L6] and is not a natural number, since $X \approx \lvert X \rvert$ would then make $X$ finite by [L8], whence $\lvert X \rvert$ is an infinite cardinal by [L5] and $X \approx \lvert X \rvert = \aleph_\alpha$ for exactly one $\alpha$ , uniqueness holding because $X \approx \aleph_\alpha$ forces $\aleph_\alpha = \lvert X \rvert$ by [L6].

step 1.2step 3.1L5L6L7L8∎

Remarks

What makes the enumeration exhaustive. Not the recursion, which only produces alephs, but the fact that $\alpha \le \aleph_\alpha$ : it guarantees that the alephs eventually overtake any given cardinal, so a least index with $\kappa \le \aleph_\alpha$ exists, and the three-case analysis then shows that "least" forces equality. Without the inequality the search would have no place to start.

Clause (b) is exactly as strong as the well-ordering theorem. If every infinite set were equinumerous with an aleph then every set would be well-orderable, since an aleph is an ordinal, and that is equivalent to the Axiom of Choice (Choice, Zorn and well-ordering are equivalent). So clause (b) is not a theorem of ZF, and it is stated with its hypothesis rather than proved.

What is enumerated and what is not. The alephs enumerate the infinite cardinals in increasing order. They do not enumerate the values of the power operation: assuming the Axiom of Choice, so that $2^{\aleph_0}$ is a cardinal at all, it is an aleph by clause (a), but which one is not settled by the axioms in use here, and nothing on this page or its companion asserts a value.

Depends on

Used by

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 107 results over 31 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources

P. Koellner, Set Theory: The Independence Phenomenon, Theorem 3.11 (standard reference, not scraped)
Aleph number (Wikipedia) (standard reference, not scraped)
T. Jech, Set Theory, 3rd millennium ed., Ch. 3 (Cardinal numbers) (standard reference, not scraped)

Every infinite cardinal is ℵα\aleph_\alphaℵα​ for exactly one ordinal α\alphaα, in ZF; and, assuming the Axiom of Choice, every infinite set is equinumerous with exactly one aleph