For over 2,000 years, humanity insisted that infinity was only potential (roughly, this means you can always add “one more,” but you never actually arrive). Aristotle thought so; Gauss just said so. Then Cantor showed up with a sort of hearsay we’re still fighting about to this day.

He treated infinite collections as completed objects in and of themselves. Then he proved there are strictly more of them than anyone imagined. Kronecker called Cantor a “corrupter of youth.” Poincaré called Cantor’s work a “disease.” Cantor died in a sanatorium.

Turns out, Cantor was right all along. Here’s what’s going on.

Potential vs. Actual

The distinction is sharper than it sounds. A potential infinity is a process: you keep counting 1, 2, 3, ... and you never stop. At no point do you hold “the completed collection of all natural numbers” in your hand. An actual infinity says: that collection exists, right now, as a single object. You can examine its properties. You can compare it to other collections. You can ask difficult questions about its “size.” You get the idea. Cantor’s great heresy was insisting on the latter, and then doing some math with it.

His first discovery was peculiar: there are just as many even numbers as natural numbers. This is because you have to be specific as to what you mean by “just as many” (or “size” AKA “cardinality”). Two sets are of the same “size” if you can pair them up exactly.

Here’s how it looks for the even numbers with the full natural numbers. Pair 1↔2, 2↔4, 3↔6, ... You’ll notice nothing’s left over. Same for the integers. Same for the rationals (which seems absurd, since the rationals are dense in the real line). But Cantor found a bijection (a one-to-one pairing) between ℕ and ℚ. The exact way you can form these pairings is clever and too much for these margins, but you can look it up.

All Countable Infinities Are Secretly Twins

The lesson is that every countable infinite set you throw at Cantor turns out to have the same “size.” Because he’s a mathematician and wants no ambiguity, he stopped using the ∞ symbol and called this size ℵ₀ (aleph-null). Intuitively, it seems like all infinities are equal.

After all, think about it. If you add 157 to ∞ you just get ∞. Same if you do ∞ ...