For most of human history, infinity was one thing. There was the finite, and there was the infinite — and the infinite was simply not-finite, a horizon rather than a territory. Georg Cantor changed this. In 1874 and again in 1891, he proved that some infinities are strictly larger than others. The natural numbers — 1, 2, 3, ... — form one kind of infinity, which Cantor called ℵ₀ (aleph-null): countably infinite. The real numbers form another, larger infinity. You cannot list them. You cannot count them. They are uncountably infinite.

Cantor's contemporaries were appalled. Henri Poincaré called it a disease. Leopold Kronecker called Cantor a corrupter of youth. Cantor himself suffered breakdowns and spent periods in sanatoriums. But the proof is simple. It is almost perversely simple. It is called the diagonal argument.

The Diagonal Argument

Suppose — for contradiction — that the real numbers between 0 and 1 can be listed.

Assume someone hands you a complete list: entry 1, entry 2, entry 3, and so on — every real number between 0 and 1, all enumerated in a neat column. It might look like this:

The highlighted digits — running diagonally down the table — form the diagonal sequence:

Now construct a new number by changing every diagonal digit — add 1 to each (wrapping 9 to 0):

This number is not in the list. Why? Because it differs from entry 1 in position 1, from entry 2 in position 2, from entry 3 in position 3, and so on — from entry n in position n, for every n. It cannot be any entry. The list is incomplete.

But we assumed the list was complete. Contradiction. Therefore, no such list exists. Therefore, the real numbers cannot be enumerated. Therefore, |ℝ| > |ℕ|.

The Hierarchy of Infinities

Cantor did not stop at two. He showed you can always construct a larger infinity from any given one: the power set of a set is always strictly larger than the set itself. ℵ₀ < ℵ₁ < ℵ₂ < ... The tower of infinities has no ceiling.

Whether ℵ₁ equals the cardinality of the reals — the Continuum Hypothesis — was shown by Gödel (1940) and Cohen (1963) to be independent of the standard axioms of set theory. It can neither be proved nor disproved from ZFC. It is, in a precise sense, undecidable.

The Paradise

Cantor's contemporaries thought him a heretic. He spent years writing to Dedekind seeking validation. When recognition came, it came from Dedekind and, more memorably, from David Hilbert — who in 1926 declared:

It is a garden with no walls, and the paths go further than you can walk, and there are always more paths beyond those. Cantor built the gate. The diagonal argument is the key.