Ordinal numbers, transfinite induction, and the Continuum Hypothesis
Beyond finite numbers lie the ordinal numbers, which extend the concept of "position in a sequence" into the transfinite. While cardinals measure how many, ordinals measure what order -- and the two diverge dramatically in the infinite realm.
The capstone question of set theory is the Continuum Hypothesis: is there an infinity between the countable and the continuum? Remarkably, this question is independent of ZFC -- it can be neither proved nor disproved from the standard axioms.
Explore the ordinal number line beyond infinity. See how ordinals like ω, ω+1, ω·2, and ω² extend the natural numbers.
Step through ordinals from 0 to omega squared
Key insight: Ordinal arithmetic is not commutative: 1 + ω = ω but ω + 1 ≠ ω. The first adds one at the start (absorbed by the infinite tail), while the second adds one at the end (creating a new position).
Extend mathematical induction beyond the natural numbers. Prove properties for all ordinals using successor and limit cases.
Proving a property P holds for all ordinals up to omega^2
Key insight: Transfinite induction requires three cases: the base case (zero), the successor case (α → α+1), and the limit case (handling ordinals like ω that are not successors). The limit case is what makes it genuinely new.
Investigate the most famous open question in set theory. Is there a cardinality strictly between the countable and the continuum?
Is there a cardinality between the naturals and the reals?
The remarkable result:
CH is independent of ZFC. Both "CH is true" and "CH is false" are consistent with the standard axioms of set theory. No proof or disproof is possible from ZFC alone. This is not a limitation of our techniques -- it is a fundamental feature of the axiom system.
Cantor's theorem: |P(S)| > |S| for any set S. So 2^Aleph-0 > Aleph-0. The question is whether 2^Aleph-0 = Aleph-1 (the next cardinal) or something larger. ZFC cannot decide.
Key insight: The Continuum Hypothesis (CH) states that there is no set whose cardinality is strictly between that of the integers and the reals. Godel (1940) showed CH is consistent with ZFC; Cohen (1963) showed its negation is also consistent. CH is genuinely undecidable in ZFC.