Most people encounter infinity as a symbol ∞ and treat it as shorthand for something very large. In mathematics, this is not what infinity means. In mathematics, infinity has a precise structure, and that structure turned out to be far stranger than anyone anticipated.
The central question this article pursues is not philosophical but scientific: does infinity exist, or is it a tool that mathematics uses to describe reality without being part of reality itself? The answer, as it stands, is unresolved and the reasons it remains unresolved reveal something important about the relationship between mathematics and the physical world.
Aristotle’s Distinction
The earliest rigorous thinking about infinity came from Aristotle, who drew a distinction that remains useful today. He separated potential infinity from actual infinity.
A potential infinity is a process that never ends. Counting the natural numbers — 1, 2, 3, 4 — is potentially infinite. You can always add one more. But at no point does the list exist as a completed whole.
An actual infinity is a completed totality with infinitely many elements. The set of all natural numbers, considered as an existing object rather than an ongoing process, would be an actual infinity. Aristotle accepted potential infinities as part of how the world works. He rejected actual infinities as incoherent — a completed infinite collection, he argued, was a contradiction in terms.
For two thousand years, this position dominated. Mathematicians worked with infinite processes like the infinitesimals of calculus, the infinite series of analysis, but treated them as limits rather than completed objects. The actual infinite remained philosophically suspect.
Then, in the 1870s, Georg Cantor changed the terms entirely.
Cantor and the Sizes of Infinity
Cantor was a German mathematician working on problems in analysis when he began investigating the nature of infinite sets directly. His results were so counterintuitive that they were initially met with hostility from leading mathematicians of the day, including Leopold Kronecker, who dismissed them as corrupting mathematics. Cantor suffered significant professional isolation as a result. His ideas are now foundational.
Cantor’s central insight was that infinite sets can be compared in size and that some are strictly larger than others.
To compare the sizes of two sets, Cantor used the concept of a one-to-one correspondence, or bijection. Two sets have the same size, the same cardinality, meaning: if every element of one set can be paired with exactly one element of the other set, with nothing left over on either side. This works for finite sets in the obvious way: a set of three apples and a set of three chairs have the same cardinality because you can pair each apple with exactly one chair.
For infinite sets, the results become surprising. Consider the natural numbers — 1, 2, 3, 4, … and the even numbers — 2, 4, 6, 8 … The even numbers are a subset of the natural numbers, so it seems they should be fewer. But they can be put in perfect one-to-one correspondence: pair 1 with 2, 2 with 4, 3 with 6, and so on. Every natural number pairs with exactly one even number, and every even number pairs with exactly one natural number. By Cantor’s definition, these two sets have the same cardinality. The whole is no larger than one of its parts, a result that holds only for infinite sets and has no counterpart in finite arithmetic.
Cantor called this cardinality ℵ₀ (aleph-null) – the cardinality of the natural numbers and any set that can be listed in a sequence. He called such sets countably infinite.
The Diagonal Argument
The more consequential result came in 1891. Cantor proved that the real numbers, all numbers on the continuous number line, including irrationals like √2 and π, cannot be put in one-to-one correspondence with the natural numbers. There are strictly more real numbers than natural numbers. Not just a larger finite amount more: a categorically larger infinity.
The proof is known as the diagonal argument, and it works by contradiction.
Suppose you claim to have a complete list of all real numbers between 0 and 1, paired one-to-one with the natural numbers. Your list looks something like this:
1 → 0.3141592…
2 → 0.7182818…
3 → 0.5772156…
4 → 0.1415926…
…
Now construct a new number by taking the first decimal digit of the first number and changing it, taking the second decimal digit of the second number and changing it, the third decimal digit of the third number, and so on down the diagonal. The resulting number differs from every entry on your list in at least one decimal place — from the first number in its first digit, from the second in its second, and so on without end.
This number is a real number between 0 and 1. But it is not on your list. Since this argument applies to any proposed list, no complete list can exist. The real numbers cannot be enumerated. Their cardinality, which Cantor denoted 𝔠, the cardinality of the continuum is strictly greater than ℵ₀.
This proof technique has since been used in a wide range of results, including Gödel’s first incompleteness theorem and Turing’s answer to the Entscheidungsproblem (German for ”Decision Problem”), the proof that no algorithm can determine whether an arbitrary program will halt.
Cantor went further. He proved that for any infinite set, the set of all its subsets — its power set — has strictly greater cardinality. This generates an infinite hierarchy of infinities, each larger than the last: ℵ₀, ℵ₁, ℵ₂, and so on without end. Infinity is not one thing. It is a tower of structures, each more expansive than the previous.
The Continuum Hypothesis
Cantor’s hierarchy raised an immediate question. Between ℵ₀ (the cardinality of the natural numbers) and 𝔠 (the cardinality of the real numbers) is there any infinity of intermediate size? Cantor believed there was not. He spent years trying to prove it. He could not.
This conjecture became known as the Continuum Hypothesis. In 1940, Kurt Gödel showed the continuum hypothesis cannot be disproven using the standard axioms of set theory. Then in 1963, Paul Cohen proved it cannot be proven either. The continuum hypothesis is independent of the axioms, meaning you can do consistent mathematics in a system where it is true or in a system where it is false. Both are equally valid.
This result is not a failure of mathematics. It is a discovery about the limits of formal systems, that certain questions about infinity cannot be settled from within the standard foundations of mathematics itself.
Does Infinity Exist in the Physical Universe?
Everything described so far concerns mathematical objects. The question of whether infinity exists in physical reality is separate and considerably harder.
Aristotle drew a distinction between two types of infinity: potential infinities, which he was happy to allow in descriptions of the world, and actual infinities. The Universe might have infinite size, an infinite past age, or be destined for an infinite future. These are all potential infinities, ways of saying things are limitless or unbounded.
The situation in modern physics is more specific and more troubling. Standard cosmology based on Einstein’s general theory of relativity implies that the density of mass at the centre of a black hole is infinitely large. The Standard Model of particle physics implies the size of an electron is infinitely small. General relativity implies that every path in space is infinitely divisible. These four kinds of infinities: infinitely large, infinitely small, infinitely divisible, and infinitely numerous. They are implied by theory and argumentation, but are not something that could be measured directly.
In most areas of science, if you see an infinity appear in your equations, you assume that it is down to an inaccuracy or incompleteness of your model. This is the standard interpretation. The infinities at black hole singularities and at the Big Bang are widely treated not as features of physical reality but as signals that general relativity breaks down at those scales and requires replacement by a more complete theory, most likely a theory of quantum gravity, which does not yet exist.
Physically, no infinity has been observed. In most contemporary models, the universe is infinitely large. But this is a statement about a mathematical property of these models. The part of the universe that can actually be observed only has a finite size.
The observable universe extends approximately 46.5 billion light years in every direction — the distance light has had time to travel since the Big Bang. Whether space continues beyond that boundary, and whether it does so infinitely, is currently unmeasurable.
The Gap Between Mathematics and Physics
This is where the unresolved question sits.
Cantor’s mathematics contains actual infinities — completed totalities with infinitely many elements — that are rigorously defined and internally consistent. Whether those mathematical structures correspond to anything in physical reality is a different question entirely, and one that physics cannot currently answer.
In physics, the existence of infinity is an empirical question. Is the universe endless in space? Was there an infinite past? Based on Einstein’s theory of general relativity, modern cosmology has no clear answer. Observational data is restricted to the observable universe — a finite sphere from which light has been able to reach us since the Big Bang.
Some physicists take the view that any infinity appearing in a physical theory is a sign of error — that a complete theory of nature would be everywhere finite. Others, including Roger Penrose, argue that the initial singularity of the Big Bang plays a genuine structural role in physics and should not simply be discarded. The disagreement is not yet settled by evidence.
What Cantor established is that if infinity exists — in mathematics or in nature — it is not a single undifferentiated vastness. It has structure, hierarchy, and internal distinctions that took two millennia to identify and that remain only partially understood.
Further Readings
- Internet Encyclopedia of Philosophy — The Infinite: https://iep.utm.edu/infinite/
- Plus Mathematics — Does Infinity Exist?: https://plus.maths.org/content/does-infinity-exist
- NASA Webb Pushes Boundaries of Observable Universe Closer to Big Bang
- Roger Penrose’s 10^10^123 Argument: Why the Universe’s Low Entropy Is So Improbable
Leave a Reply