Before Georg Cantor, infinity was a single concept — vague, philosophical, often treated as a limit rather than as a mathematical object in its own right. Aristotle had distinguished “potential” infinity (a process that goes on forever, like counting) from “actual” infinity (a completed whole, like the set of all numbers), and most mathematicians had quietly agreed that actual infinities were illegitimate. The mathematician Carl Friedrich Gauss, writing in the 1830s, explicitly objected to treating infinity as a real thing: “I protest against the use of infinite magnitude as something completed, which is never permissible in mathematics.”
In the 1870s, a young German mathematician working in obscurity at the University of Halle began taking actual infinity seriously. By 1891 he had proved that there is not one infinity but an unending ladder of them, each strictly larger than the last. He had also produced, in the process, some of the most beautiful arguments in the history of mathematics. For his trouble, he was attacked by nearly every senior figure in his field, suffered repeated mental breakdowns, and died in a sanatorium.
A century later, Cantor’s ideas are the foundation of modern set theory, which is the foundation of modern mathematics. The part of his work that seemed most offensive to his contemporaries — that infinity can be larger or smaller, and that you can prove it — is one of the shortest, cleanest, and most surprising results in the subject.
Counting without numbers
Start with a question that sounds trivial: when are two collections the same size?
If you have a classroom with 30 chairs and 30 students, and every student sits in exactly one chair with no chairs empty and no students standing, then the two collections — chairs and students — have the same size. This is true even if you never count. The matching itself is the proof.
Cantor’s first move was to take this idea seriously and apply it to infinite sets. Two sets have the same cardinality if there exists a one-to-one correspondence (a “bijection”) between them. That’s the whole definition.
This immediately gives strange results. Consider the natural numbers and the even natural numbers . Intuitively, there are twice as many naturals as evens — the evens are a proper subset. But the pairing matches them up perfectly:
So they have the same cardinality. In infinite mathematics, a set can be the same size as a proper subset of itself. That’s not a paradox; it’s the definition of being infinite. (A set is infinite if and only if it can be put into bijection with a proper subset.)
From here Cantor could ask the natural next question: are all infinite sets the same size? The obvious answer seemed to be yes. The correct answer turned out to be no.
The rationals are countable
Surprisingly, the set of all rational numbers — all fractions — has the same cardinality as the natural numbers. Cantor showed this with a visual argument so clean it is now taught in first-year university courses.
Arrange all positive rationals in an infinite grid:
| 1 | 2 | 3 | 4 | … | |
|---|---|---|---|---|---|
| 1 | 1/1 | 1/2 | 1/3 | 1/4 | … |
| 2 | 2/1 | 2/2 | 2/3 | 2/4 | … |
| 3 | 3/1 | 3/2 | 3/3 | 3/4 | … |
| 4 | 4/1 | 4/2 | 4/3 | 4/4 | … |
Every positive rational appears somewhere in this grid. Now walk along the diagonals: , then and , then , and so on. Skipping duplicates (since ), you get a list:
Every rational appears in this list eventually. So the rationals can be put into one-to-one correspondence with the natural numbers. They are countably infinite — the “smallest” kind of infinity, denoted (aleph-nought).
This alone would have been a beautiful result. Cantor’s contemporaries could have absorbed it. But then he went further.
The reals are not countable
In 1874, Cantor proved that the real numbers — all numbers on the number line, including irrationals — cannot be listed like the rationals can. In 1891 he gave a second proof that is now the canonical demonstration, and it’s short enough to give in full.
Suppose, for contradiction, that you could list all real numbers between 0 and 1 as an infinite sequence:
Each has a decimal expansion; is the -th digit of the -th number. Now construct a new real number as follows: for each position , look at the diagonal digit and choose the -th digit of to be different from it — say, set it to 3 if , and to 4 if .
By construction, differs from in its first digit, from in its second digit, from in its third digit, and so on. So is not anywhere in the list. But we assumed the list was complete. Contradiction.
Therefore no such list exists. The reals are uncountably infinite — strictly larger than the naturals.
This is Cantor’s diagonal argument, and it’s often cited as one of the most beautiful short proofs in mathematics. It uses no heavy machinery. It fits on a napkin. And it proves something that sounds impossible: there are more real numbers than natural numbers, even though both are infinite.
An infinite ladder
Cantor did not stop at two infinities. He proved what is now called Cantor’s theorem: for any set , the set of all its subsets (the power set ) has strictly larger cardinality than .
Apply this to the naturals: the power set of the naturals is uncountable — in fact, it has exactly the cardinality of the reals. Apply it to the reals: the power set of the reals is a still-larger infinity. Apply it again: larger still. There is no largest infinity. The ladder of cardinalities extends without end.
This is where things started to feel metaphysical to Cantor’s contemporaries. An infinite ladder of infinities, each larger than the last, felt like theology dressed up as mathematics. The established mathematician Leopold Kronecker, Cantor’s former teacher, called him “a scientific charlatan” and “a corrupter of youth.” He worked actively to keep Cantor from publishing in major journals and from securing a position at a more prestigious university. Cantor spent his career at Halle.
Cantor suffered his first major mental breakdown in 1884. He had further episodes throughout his life, and spent long periods in sanatoria. Whether his mathematical work caused his illness, exacerbated it, or merely coincided with it is a question historians still debate. What’s clear is that he knew he had discovered something significant and was being denied the recognition he was due. He died in the Halle Nervenklinik in 1918, during the final year of the First World War, nearly destitute.
The continuum hypothesis
Cantor’s most famous open question was: is there an infinity between the naturals and the reals? That is, is there a set whose cardinality is strictly greater than but strictly less than that of the reals?
He conjectured the answer was no. This is the continuum hypothesis. David Hilbert, in his famous 1900 list of 23 problems, placed it first.
The answer turned out to be astonishing. In 1940, Kurt Gödel proved that the continuum hypothesis cannot be disproved from the standard axioms of set theory (the Zermelo–Fraenkel axioms with the axiom of choice). In 1963, Paul Cohen proved that it cannot be proved from them either. It is independent of the axioms — neither true nor false within the standard framework. You can add “the continuum hypothesis is true” as an axiom and mathematics remains consistent. You can add its negation and mathematics still remains consistent.
Cohen invented the technique known as “forcing” to achieve this, and won a Fields Medal for it. Forcing is now a standard tool of set theory. It owes its existence, ultimately, to Cantor.
What Cantor gave us
The legacy of Cantor’s work is hard to overstate. Set theory, which he effectively founded, became the foundation on which modern mathematics is built. Virtually every mathematical object — groups, topological spaces, manifolds, functions — is now formally defined as a set or a structure on a set. The language of cardinality is used throughout mathematics whenever infinite collections are compared.
His specific results are still in working use. Diagonalization, the trick he invented for the uncountability of the reals, reappears everywhere: in Gödel’s incompleteness theorem, in Turing’s proof that the halting problem is undecidable, in Cohen’s independence results. Any time a mathematician constructs something by deliberately differing from every member of a list, they are doing Cantor’s trick.
The larger lesson is philosophical. Infinity, which had been a vague concept treated warily for two thousand years, turned out to be as structured and precise as the finite. Cantor did not merely prove some theorems about infinity. He demonstrated that infinity was a legitimate subject for rigorous mathematics — and that some intuitions about it were simply wrong.
It took decades for the mathematical community to accept what he had done. David Hilbert, by 1926, could call Cantor’s work “the most astonishing product of mathematical thought, one of the most beautiful realizations of human activity in the domain of the purely intelligible.” But Cantor had been dead for eight years by then, and never heard those words.
It is one of the underappreciated patterns of mathematical history that the people who see furthest often see first, and are often punished for it. Cantor saw the landscape of infinity. The landscape is still being mapped a hundred and fifty years later.
Frequently asked
How can one infinity be bigger than another?
Two sets have the same size if you can pair them up one-to-one with nothing left over. Cantor showed this works for the natural numbers and the rationals but fails for the real numbers — there is no possible pairing. So the reals are a strictly larger infinity than the naturals, even though both are infinite.
What is the continuum hypothesis?
The conjecture that there is no set whose size is strictly between that of the natural numbers and that of the real numbers. Gödel and Cohen proved in the twentieth century that this question cannot be decided from the standard axioms of set theory — it is genuinely independent.