A student states: 'ℵ₁ is the cardinality of the real numbers, because ℝ is the next infinite set after ℕ.' What is wrong with this?
ANothing — ℵ₁ is defined as |ℝ| by Cantor's theorem
Bℵ₁ is defined as the smallest cardinal strictly greater than ℵ₀, not as |ℝ|; whether |ℝ| = ℵ₁ is the Continuum Hypothesis, which ZFC neither proves nor refutes
Cℝ is actually countable, so |ℝ| = ℵ₀ = ℵ₁
DThe student has the notation wrong: ℵ₁ refers to the rationals, not the reals
ℵ₁ is a position-based definition: the smallest infinite cardinal strictly greater than ℵ₀. It is not defined as the cardinality of any specific set. |ℝ| = 2^ℵ₀ = ℶ₁. Whether ℶ₁ = ℵ₁ is the Continuum Hypothesis — a statement independent of ZFC. Gödel showed CH is consistent with ZFC; Cohen showed its negation is also consistent. So ZFC leaves the question open.
Question 2 Multiple Choice
Why does the completeness of the aleph hierarchy — the claim that every infinite cardinality equals some aleph — depend on the Axiom of Choice?
AIt doesn't — completeness follows directly from Cantor's diagonalization
BWithout the Axiom of Choice, some infinite sets may not be well-orderable, meaning they could have cardinalities that don't correspond to any aleph
CThe Axiom of Choice is needed to prove that ℵ₁ > ℵ₀
DWithout the Axiom of Choice, the aleph hierarchy has only finitely many levels
The well-ordering theorem (equivalent to the Axiom of Choice) guarantees that every set can be well-ordered, which is what allows its cardinality to be matched to some aleph. Without AC, there can be 'amorphous' infinite sets that cannot be well-ordered — their cardinalities fall outside the aleph sequence entirely. The aleph hierarchy is a complete catalog of infinite cardinalities only in the presence of AC.
Question 3 True / False
ℵ₁ = |ℝ| is a theorem provable from the standard ZFC axioms of set theory.
TTrue
FFalse
Answer: False
ℵ₁ = |ℝ| is the Continuum Hypothesis (CH), which is independent of ZFC. Gödel (1938) showed CH is consistent with ZFC — no model of ZFC refutes it. Cohen (1963) showed the negation of CH is also consistent with ZFC — no model proves it. ZFC is simply silent on this question. ℵ₁ is defined structurally (the least uncountable cardinal); |ℝ| is computed set-theoretically (2^ℵ₀). Whether they are equal is a genuine open question within ZFC.
Question 4 True / False
The aleph hierarchy and the beth hierarchy can diverge, meaning ℶ₁ and ℵ₁ can represent different cardinalities.
TTrue
FFalse
Answer: True
The aleph hierarchy advances by 'next cardinal'; the beth hierarchy advances by power set. ℶ₁ = 2^ℵ₀ = |ℝ|. Whether ℶ₁ = ℵ₁ is exactly the Continuum Hypothesis. Consistent with ZFC, one can have ℶ₁ = ℵ₂ or ℵ₁₇ or arbitrarily large. The two hierarchies represent different structural properties — ordinal succession versus iterated power sets — and need not align.
Question 5 Short Answer
Explain why ℵ₁ is defined by its position in the hierarchy rather than by reference to a specific set, and why this matters for the Continuum Hypothesis.
Think about your answer, then reveal below.
Model answer: ℵ₁ is defined as 'the smallest cardinal strictly greater than ℵ₀' — a position-based definition anchored to the ordinal structure via well-ordering. If we defined ℵ₁ as |ℝ| instead, then ℵ₁ = |ℝ| would be trivially true by definition, and the Continuum Hypothesis would not be a substantive claim. Instead, ℵ₁ and |ℝ| are independently defined — one through ordinal succession, one through power-set operations — and whether they happen to be equal is a non-trivial structural question that ZFC leaves open.
This distinction between definition and theorem is crucial in set theory. The power of the Continuum Hypothesis as a mathematical statement comes precisely from the fact that ℵ₁ and 2^ℵ₀ are defined by different routes and their equality is not forced. If one definition were derived from the other, the question would be trivial. The independence result tells us that the two hierarchies — aleph (ordinal succession) and beth (power set) — are genuinely independent in ZFC.