Cantor’s Proof That Some Infinities Are Bigger Than Others

Halle, January 1874: a young mathematician writes to his friend Richard Dedekind with a question that sounds like a riddle and turns out to be a knife. Can the points of a line be matched, one for one, with the points of a plane? Georg Cantor expected the answer to be no — the plane is so plainly the larger thing. Three years later he proved the opposite, and could barely trust his own page. The result so violated his intuition that he wrote, in French, that he saw it but did not believe it. He had begun to suspect that infinity is not one thing but a ladder, and that the rungs climb without end.

Begin with what counting actually is. To count a flock you pair each sheep with a number: one, two, three. The pairing is the act, not the numbers. Two collections have the same size when their members can be matched with nothing left over on either side — a one-to-one correspondence, a bijection. This sounds trivial until you try it on the infinite, where it stops being trivial and turns scandalous. The whole numbers can be matched with the even numbers, pairing each n with 2n, and nothing is left behind. A part has the same size as the whole. Galileo noticed exactly this in 1638, in his last book, and turned away from it as from a thing better not stared at.

What counting really means

Cantor did not turn away. He called any set that can be matched with the counting numbers countable, and began testing candidates. The integers, negatives included, are countable: walk 0, 1, −1, 2, −2, and you miss none. The fractions look hopeless, since between any two of them lie infinitely more — yet Cantor caught them all. Arrange every fraction p over q in a grid by numerator and denominator, then sweep along the diagonals: 1/1, then 1/2 and 2/1, then 1/3, 2/2, 3/1. Every fraction sits at some grid point, every grid point is reached, and the sweep is a single endless line. The rationals, dense as dust, are no more numerous than the bare integers. A part can equal the whole, and the whole can equal a scattering of dust.

Every list of the reals leaves a number off it.

Here a reasonable person concludes that all infinities are one size — that “infinite” just means “too many to count,” with no inner structure. Cantor’s genius was to suspect a crack. If the rationals are countable, what of the reals: every decimal, every point on the continuous line, the irrationals like the square root of two and π wedged among the fractions? He hunted for a sweep, a clever ordering, a diagonal trick. He found instead that no such ordering can exist — and the proof of its impossibility is among the most economical arguments ever made.

The diagonal that breaks the line

Suppose, Cantor says, that someone hands you a complete list of the real numbers between 0 and 1, each written as an unending decimal, numbered first, second, third, on down. Take the list as given. Now build a new number digit by digit. For its first decimal place, read the first digit of the first number and choose something else. For its second place, differ from the second digit of the second number. For its nth place, differ from the nth digit of the nth number. March down the diagonal, disagreeing at every step. The number you have built cannot be the first on the list, since it differs in the first place. It cannot be the second, the millionth, the nth — it was made to differ from each.

So a number is missing. But the list was supposed to hold them all. The contradiction is total, and it does not turn on which list you were handed: every list, however ingenious, leaves a real number out. The reals cannot be set in one-to-one correspondence with the counting numbers. There are, in a sense that can be made exact, more points on a single inch of line than there are whole numbers in all of eternity. Cantor published the argument in 1891, lean and final. He gave the size of the counting numbers a name, aleph-null, and showed the continuum to be strictly larger.

Four roads to the same cliff

The promise was four lines of argument, and the diagonal is only the most famous. The first is the pairing of line and plane — that 1877 result Cantor distrusted, which shows the continuum is stubborn: a square holds no more points than its side, so dimension does not multiply infinity. The second is the diagonal itself, the engine. The third proves that the algebraic numbers — every root of every polynomial with whole-number coefficients — are countable, which forces the transcendental numbers like π to be uncountable, the overwhelming majority, though before Cantor barely a handful were even known to exist. Almost every number is of a kind we can almost never name.

The fourth road runs furthest. Cantor’s theorem, in full generality, says that any set is strictly smaller than the set of its subsets — its power set. Take any collection and form every possible selection from it; there is no way to match the originals against the selections without something escaping, by a diagonal argument cousin to the first. Apply this to an infinite set and you get a larger infinity. Apply it again to that, and again. The alephs climb without end: there is no largest infinity, only an unending hierarchy, each level dwarfing the one beneath as the line dwarfs the integers.

“I see it, but I don’t believe it.”— Cantor, letter to Dedekind, 1877

The continuum’s silence

One question sat at the center and would not move. Between aleph-null, the size of the integers, and the larger size of the continuum, is there any infinity in between? Cantor believed there was none — that the line is the very next size up. This is the continuum hypothesis, and he spent years trying to prove it, swinging between conviction and despair, once announcing a proof and retracting it within days. The problem had a depth he could not have measured. In 1900 David Hilbert set it first on his list of the century’s great unsolved problems, the question he thought should be answered before all others.

The answer, when it came, was stranger than either yes or no. Kurt Gödel showed in 1940 that the continuum hypothesis cannot be disproved from the standard axioms of set theory. Paul Cohen showed in 1963, inventing a method he called forcing, that it cannot be proved from them either. The hypothesis is independent: the axioms we use for mathematics simply do not decide it. You may add it, or add its denial, and either choice yields a consistent world. The question Cantor broke himself against has no answer inside the system — a result as unsettling, in its way, as the diagonal that began it.

The axioms of mathematics, asked how large the line is, decline to answer. They are consistent with the line being the next size up, and consistent with worlds where uncounted infinities crowd the gap. Cantor’s instinct was neither vindicated nor refuted; it was placed forever beyond reach. The silence is not ignorance to be cured by a cleverer proof. It is structural, woven into the foundations themselves.

Where the counting ended

Cantor paid for this country in coin that does not show on the proofs. Leopold Kronecker, his former teacher and a power in German mathematics, despised the transfinite work, called it a corruption of the young, and blocked both its publication and Cantor’s hopes of a chair at Berlin. “God made the integers,” Kronecker held; all else was the suspect work of men. From 1884 Cantor suffered recurring breakdowns — long episodes of mania and depression we would now name a mood disorder, then read as the natural ruin of a man who had stared too long at the infinite. In his lucid spells he turned to literature, arguing that Francis Bacon wrote Shakespeare, and to theology, writing to Catholic clergy who found his ladder of infinities oddly congenial to thoughts of God.

He died on January 6, 1918, in the Halle Nervenklinik, the sanatorium where he had spent much of his last decade, in a Germany starving through the final winter of the war — impoverished, underfed, largely alone. Yet the work had already turned. Hilbert, the most authoritative mathematician of the age, defended it in a phrase that became a banner: no one, he said, shall expel us from the paradise Cantor created. Set theory became the floor on which modern mathematics stands. The ladder of alephs, the diagonal, the strange independent silence of the continuum — these are not curiosities at the edge. They are the grammar. The man who counted past infinity was right, and the asylum where the counting ended could not unmake a single line of it.