The largest ordinal cannot exist—but why?
Ordinal numbers extend beyond regular counting numbers to describe positions in well-ordered sequences—even infinite ones.
Ordinals keep going forever. For any ordinal you name, there's always a bigger one. But what if we try to collect them ALL?
Try to collect all the ordinals into one set. What happens?
Burali-Forti's paradox arises from three seemingly reasonable principles about ordinals:
The ordinals themselves, in order, form a well-ordered set.
This is called the "successor" or "limit" principle.
Ordinals can be arranged in a natural increasing order.
Now let's derive the paradox:
We're assuming this collection can be treated as a set.
All ordinals in natural order is a well-ordering.
Let's call this ordinal Ω itself (it measures the "length" of all ordinals).
The ordinal Ω must be in the set of all ordinals.
Call this Ω+1. It must be bigger than Ω.
Ω+1 is an ordinal greater than ALL ordinals...
But Ω was supposed to contain ALL ordinals!
Ω+1 should be in Ω, but Ω+1 > Ω. Impossible!
The paradox shows that not every collection can be a set. The "collection of all ordinals" is too big to be gathered into a single mathematical object.
Cantor himself recognized this! He called such collections "inconsistent multiplicities"—we now call them proper classes.
The Zermelo-Fraenkel axioms carefully restrict what counts as a "set." The axiom of separation prevents forming "the set of all ordinals."
Von Neumann-Bernays-Gödel theory distinguishes sets (small collections) from proper classes (too-large collections). Ordinals form a proper class.
Related: there's no "set of all sets" either. The universe of sets is too vast to be contained in any set.
Some infinities are so large they can't even be treated as mathematical objects. They're more like the entire background in which mathematics takes place.
Georg Cantor develops the theory of transfinite ordinals
Cesare Burali-Forti publishes his paper, unaware it contradicts Cantor's results
Cantor acknowledges the paradox in letters to Dedekind
Bertrand Russell discovers Russell's Paradox (related)
Ernst Zermelo publishes axioms that avoid these paradoxes
Modern set theory (ZFC, NBG) handles ordinals consistently
The Burali-Forti paradox forces us to confront a profound question:
The resolution—distinguishing sets from proper classes—works mathematically. But philosophically, it raises questions about the nature of mathematical infinity and whether "all ordinals" even makes sense as a concept.
Some infinities are so vast they transcend even the concept of "set." ∞