Infinity in Mathematics: How Some Infinities Are Bigger Than Others

Here is a statement that will sound absurd: there are more real numbers between 0 and 1 than there are whole numbers in the entire infinite set 1, 2, 3, 4, 5... The infinite decimals crammed into one tiny interval outnumber the infinite counting numbers that stretch forever.

Both sets are infinite. But they are not the same size. One infinity is provably larger than another.

This was the discovery of Georg Cantor in the 1870s, and it nearly destroyed him. His colleagues called his work "a disease" and "a corruption of youth." The great mathematician Henri Poincaré called it a "grave disease infecting mathematics." But Cantor was right. He had discovered the mathematics of infinity — and it is one of the strangest, most beautiful domains in all of human thought.

Key takeaways

• Infinity is not a single thing — there are infinitely many different sizes of infinity
• A set is countably infinite if its elements can be paired one-to-one with the counting numbers
• The real numbers are uncountably infinite — provably larger than the counting numbers
• Cantor's diagonal argument is one of the most elegant proofs in mathematics

What Does "Same Size" Mean for Infinite Sets?

Before you can compare infinities, you need a way to measure size that works for infinite collections. Counting doesn't scale.

Cantor's insight was to use one-to-one correspondence. Two sets have the same cardinality (the formal word for "size") if you can pair every element of one with exactly one element of the other, with nothing left over. This works perfectly for finite sets: {a, b, c} and {1, 2, 3} have the same size because you can pair a↔1, b↔2, c↔3.

The strange power of this definition is what it does to infinite sets.

Consider the whole numbers: 1, 2, 3, 4, 5... and the even numbers: 2, 4, 6, 8, 10... Intuitively, the even numbers seem like "half" of the whole numbers. But you can pair every whole number n with the even number 2n. Nothing is left unpaired. By Cantor's definition, there are exactly as many even numbers as whole numbers.

This seems wrong. But in mathematics, the definition is what matters, and it is internally consistent. Infinite sets can be paired with their proper subsets — this is actually the defining feature of infinite sets.

Countable Infinity: The Smallest Infinity

An infinite set is called countably infinite if its elements can be paired one-to-one with the natural numbers (the counting numbers 1, 2, 3...). You can "list" all the elements, even if the list never ends.

The integers (...-3, -2, -1, 0, 1, 2, 3...) are countably infinite. Even though they extend in both directions, you can list them in order: 0, 1, -1, 2, -2, 3, -3... Each integer appears at a definite position in the list.

The rational numbers (all fractions p/q where p and q are integers) are countably infinite. This is more surprising — there seem to be far more fractions than whole numbers. But Cantor showed you can arrange all fractions in a grid and traverse the grid in a zigzag pattern, listing every fraction at a specific step. The rationals are countable.

Mathematicians denote the cardinality of the natural numbers as ℵ₀ (aleph-null, the first letter of the Hebrew alphabet followed by zero). All countably infinite sets have cardinality ℵ₀. In a precise sense, ℵ₀ is the smallest possible infinity.

Cantor's Diagonal Argument: Uncountable Infinity

Here is the elegant core of Cantor's insight. Suppose someone claims they have listed all the real numbers between 0 and 1 in some order. Let's say their list looks like:

1. 0.142857...
2. 0.314159...
3. 0.271828...
4. 0.577215......

Cantor showed you can always construct a number not on their list. Look at the first digit of the first number (1), take a different digit for your number's first decimal place. Look at the second digit of the second number (1), take a different digit for the second place. And so on — for every number in the list, you use its nth decimal place and choose something different.

Your constructed number differs from the first number in the first decimal place, from the second in the second decimal place, from the third in the third, and so on forever. It differs from every number on the list in at least one decimal place — so it's not on the list at all.

This means no list can ever contain all real numbers. Any attempt to list them will leave real numbers out. The real numbers cannot be put into one-to-one correspondence with the natural numbers. The real numbers are uncountably infinite — a larger infinity than the countable infinity of whole numbers.

The genius of this argument is that it doesn't depend on any specific proposed list. It works for any list whatsoever. It is a proof by contradiction of such simplicity and elegance that it feels almost like a magic trick. The result is one of the most beautiful in mathematics.

The Continuum Hypothesis: An Unanswerable Question

The cardinality of the real numbers (uncountable infinity) is denoted 2^ℵ₀, or ℵ₁ if you assume there's no infinity in between.

Cantor wondered: is there an infinity between ℵ₀ and the cardinality of the reals? Is there a set bigger than the counting numbers but smaller than the real numbers?

He couldn't prove or disprove it. He called this the Continuum Hypothesis. It consumed his later years, and he never resolved it.

The answer arrived decades after his death, and it is one of the most mind-bending results in the history of mathematics. In 1940, Kurt Gödel showed the Continuum Hypothesis cannot be disproved from the standard axioms of set theory. In 1963, Paul Cohen showed it cannot be proved either. The Continuum Hypothesis is independent of the axioms — it is undecidable. You can consistently do mathematics either with it or without it, like a fork in the road of mathematical reality.

Cantor spent years in sanatoriums, plagued by depression. His ideas were rejected by leading mathematicians of his era. He died in 1918, largely unrecognized. Within decades, his work became the foundation of modern mathematics. David Hilbert, the greatest mathematician of the early 20th century, later called Cantor's work "the finest product of mathematical genius and one of the supreme achievements of purely intellectual human activity."

Cantor's Theorem: There Are Infinitely Many Infinities

Here is the truly vertiginous result. Cantor proved there is no largest infinity — there are infinitely many infinities of different sizes.

Given any set S, the power set of S — the set of all possible subsets of S — is strictly larger than S itself. This is Cantor's theorem. Apply it to the natural numbers: the power set of the natural numbers is larger than the natural numbers. Apply it again: the power set of that set is even larger. You can keep going forever, generating larger and larger infinities without end.

The hierarchy of infinities: ℵ₀, ℵ₁, ℵ₂... continues forever. There is no top. Infinity isn't one thing; it's a tower with no ceiling.

FAQ

Can you really say one infinity is bigger than another? Yes, with a precise definition of "bigger." Two sets have the same cardinality if there's a one-to-one correspondence between them. One set is strictly larger than another if no such correspondence exists — you can't pair them up without leaving elements from the larger set unpaired. By this definition, the real numbers are demonstrably larger than the natural numbers. The definition is rigorous and consistent.

Is infinity a number? In standard arithmetic, infinity is not a number — it's a concept describing an unbounded quantity. But in Cantor's set theory, cardinalities (including infinite ones like ℵ₀) are legitimate mathematical objects that can be compared and manipulated with precise rules. There are also other mathematical frameworks — the hyperreals and surreal numbers — that extend the real numbers with actual infinite and infinitesimal quantities.

Are there infinitely many primes? Yes. Euclid proved this around 300 BCE with a beautiful argument: assume there are finitely many primes, multiply them all together and add 1. The result is either prime (a contradiction, since it wasn't on your list) or divisible by a prime not on your list (also a contradiction). Therefore there are infinitely many primes. The set of primes is countably infinite, the same cardinality as the natural numbers.

What is Hilbert's Hotel? Hilbert's Hotel is a thought experiment illustrating the strangeness of infinite sets. Imagine a hotel with infinitely many rooms, all occupied. A new guest arrives. In a finite hotel, you'd turn them away. In Hilbert's Hotel, you move the guest in room 1 to room 2, room 2 to room 3, and so on forever. Room 1 is now free. You can accommodate infinitely many new guests by similar shuffles. The hotel is always "full" but always has room.

Why did other mathematicians reject Cantor's work? Several reasons. The concept of "completed infinity" — treating infinite sets as finished objects rather than ongoing processes — was philosophically controversial. Leopold Kronecker, a leading mathematician, believed only finite constructions were mathematically legitimate and personally attacked Cantor, calling him a "corrupter of youth." There was also discomfort with results that contradicted intuition, like even numbers being "as many as" all numbers. Today, Cantor's framework is the accepted foundation of mathematics.

---

Read next:

• What Is Infinity in Mathematics? Cantor's Shocking Discovery
• What Is the Biggest Number — And Why Infinity Breaks Mathematics
• Fermat's Last Theorem: The 358-Year Math Mystery Finally Solved