Cantor's diagonal argument proves the real numbers ℝ are uncountable: no bijection exists between ℝ and ℕ. The proof constructs a real number not in any enumeration, demonstrating that different magnitudes of infinity exist. This revolutionary insight fundamentally altered mathematics' understanding of the infinite.
Study Cantor's original argument: assume ℝ is countable and enumerate as a sequence; construct a real differing from each in the list. Generalize to show |P(A)| > |A| for any set A. Build intuition through diagonal constructions on nested intervals.
You already know that countably infinite sets are those that can be put into a one-to-one correspondence — a bijection — with the natural numbers ℕ. Integers, rationals, even pairs of naturals, all turn out to be countable. A natural question arises: is every infinite set countable? Cantor's diagonal argument answers with a striking no — and in doing so, reveals that there are fundamentally different sizes of infinity.
The proof begins with a thought experiment. Suppose, for contradiction, that the real numbers between 0 and 1 *are* countable. Then we could list them in a sequence: r₁, r₂, r₃, … — every real in (0,1) appears somewhere on this list. Now write each real as an infinite decimal expansion. Cantor constructs a new real number d by going down the diagonal of this list: take the first digit of r₁, the second digit of r₂, the third digit of r₃, and so on. Then *change each digit* — if it is 5, write 6; otherwise, write 5. The result is a real number d that differs from r₁ in the first decimal place, from r₂ in the second, from r₃ in the third — and so on for every entry on the list. Therefore d ∉ {r₁, r₂, r₃, …}, contradicting the assumption that the list was complete. The assumption must be false: the reals cannot be enumerated.
The key insight is that this is a diagonalization argument — a technique that defeats any proposed enumeration by systematically exploiting the list itself to construct something outside it. Cantor generalized the same idea to prove that for *any* set A, the power set P(A) — the collection of all subsets of A — is strictly larger than A. Applied to ℕ, this means the set of all subsets of natural numbers is uncountable, and so is the set of all infinite binary sequences. Uncountability is not a one-off property of ℝ; it is pervasive.
The conceptual leap is accepting that uncountable infinity is a genuinely larger kind of infinite than countable infinity. Countably infinite sets can be exhausted, in principle, by a process that reaches every element eventually. Uncountable sets cannot — no matter how you index them, you will always miss infinitely many elements. This is not a practical limitation but a logical one: the diagonal argument shows that any proposed list has a specific, constructible omission. This distinction between ℵ₀ (the cardinality of ℕ) and 𝔠 (the cardinality of ℝ) is the first step into the aleph hierarchy — a whole ladder of infinities each strictly larger than the last, a structure that turns out to be inexhaustibly rich.