Questions: The Aleph and Beth Hierarchies of Infinities

Question 1

The beth number ℶ₁ equals the cardinality of the real numbers. Which statement correctly describes its relationship to the aleph hierarchy?

• A. ℶ₁ = ℵ₁ by definition, since both represent the first uncountable cardinal
• B. ℶ₁ ≥ ℵ₁ for certain, but whether it equals ℵ₁, ℵ₂, or a larger cardinal depends on which axioms you assume
• C. ℶ₁ = ℵ₀ because the real numbers can be encoded as natural numbers with the right bijection
• D. ℶ₁ > ℵ₁ necessarily, because every power set produces a cardinal larger than the next aleph

Answer: (B)

ℶ₁ = 2^{ℵ₀}, the cardinality of the reals. By Cantor's theorem, 2^{ℵ₀} > ℵ₀, so ℶ₁ is uncountable. By definition of ℵ₁ as the smallest uncountable cardinal, ℶ₁ ≥ ℵ₁. But whether ℶ₁ equals ℵ₁ (the Continuum Hypothesis) or is larger (ℵ₂, ℵ₃, ...) is independent of ZFC. Option A conflates two different definitions: ℵ₁ is defined by well-ordering (the next cardinal after ℵ₀), while ℶ₁ is defined by power set (2^{ℵ₀}). These are different operations and need not produce the same result.

Question 2

The Continuum Hypothesis asks whether ℵ₁ = ℶ₁ and is 'independent of ZFC.' What does independence mean here?

• A. The question will be resolved once mathematicians develop a sufficiently powerful proof technique
• B. ZFC can prove the hypothesis is true, but not that it is false
• C. Neither the hypothesis nor its negation can be derived from ZFC's axioms — both are consistent with ZFC
• D. The question is meaningless because infinite cardinalities are not mathematically well-defined

Answer: (C)

Independence means exactly this: you can add CH as an axiom to ZFC and get a consistent theory, and you can add its negation (¬CH) and also get a consistent theory. Gödel (1940) showed ZFC + CH is consistent; Cohen (1963) showed ZFC + ¬CH is consistent. The question is not unanswered for lack of effort — it is genuinely undetermined by the axioms as written, in the same way the parallel postulate is independent of the other Euclidean axioms. Any 'universe' of set theory satisfying ZFC can make CH true or false.

Question 3

ℵ₁ is the smallest infinite cardinal strictly larger than ℵ₀, not by any particular construction, but by axiomatic definition of the aleph hierarchy.

• T. True
• F. False

Answer: True

The aleph hierarchy is defined by well-ordering: ℵ₁ is the smallest cardinal greater than ℵ₀ by axiom — there is no infinite cardinal strictly between them by definition. This is purely ordinal and tells you nothing about what ℵ₁ 'looks like' as a set. By contrast, ℶ₁ is constructed concretely as 2^{ℵ₀} — the power set of the naturals. The two definitions are genuinely different operations, which is why their equality is a non-trivial conjecture.

Question 4

The beth hierarchy and the aleph hierarchy are both defined the same way — by taking successors of infinite cardinals in increasing order.

• T. True
• F. False

Answer: False

The aleph hierarchy is defined axiomatically as the well-ordered sequence of all infinite cardinals: ℵ₁ is the next cardinal after ℵ₀, ℵ₂ is the next after ℵ₁, and so on. The beth hierarchy is defined constructively by iterated power sets: ℶ_{n+1} = 2^{ℶ_n}. These are fundamentally different operations. 'The next well-ordered cardinal' and 'the power set of the previous cardinal' need not produce the same sequence — and whether they do (the Generalized Continuum Hypothesis) is precisely what ZFC cannot determine.

Question 5

Why can't mathematicians simply prove or disprove the Continuum Hypothesis using standard set theory (ZFC)?

Model answer: Because both CH and its negation are consistent with ZFC. Gödel (1940) showed that adding CH to ZFC produces no contradiction — he constructed a model of set theory where CH holds. Cohen (1963) showed that adding ¬CH also produces no contradiction — he constructed a model where CH fails. This means ZFC's axioms do not contain enough information to determine the size of the real number continuum relative to the aleph hierarchy. The axioms leave the question genuinely open, just as the parallel postulate is left open by the other Euclidean axioms.

This independence result is one of the deepest results in 20th-century mathematics. It reveals that the 'standard' axioms of set theory don't pin down the structure of infinite cardinalities precisely — the hierarchy of infinities has genuine degrees of freedom that ZFC doesn't resolve. Different consistent universes of set theory can have different answers to whether there is a cardinal between ℵ₀ and 2^{ℵ₀}.