Thank you for visiting this site. This article covers “Russell’s Paradox.”
In 1901, British philosopher and mathematician Bertrand Russell discovered a fatal contradiction lurking in set theory — then regarded as the foundation of all mathematics. The paradox sent shockwaves through the mathematical world and forced an overhaul of its very foundations.
The Paradox
First, a brief note on sets. A set is simply a collection of objects. The set of fruits contains apples and bananas; the set of even numbers contains 2, 4, 6, …
Some sets contain themselves as a member; others do not. The set of all sets is itself a set, so it contains itself. The set of fruits is not a fruit, so it does not contain itself.
Russell then considered the following set:
R = the set of all sets that do NOT contain themselves.
The set of fruits does not contain itself → it belongs to R. The set of even numbers does not contain itself → it belongs to R.
Now the crucial question: Does R contain itself?
If R contains itself: R is a member of R. But R is defined as the collection of sets that do not contain themselves. If R contains itself, then by definition it should not be in R. Contradiction.
If R does not contain itself: R is not a member of R. But R is exactly the collection of sets that do not contain themselves. Since R does not contain itself, it should be in R. Contradiction.
Either answer produces a contradiction.
The Barber Analogy
Russell’s Paradox can be restated in everyday terms as the Barber Paradox.
In a village there is a barber who shaves all and only those men who do not shave themselves.
Does the barber shave himself?
If he does: he is shaving a man who shaves himself — but the barber only shaves men who do not shave themselves. Contradiction.
If he does not: he is a man who does not shave himself — but the barber shaves all such men. Contradiction.
The logical structure is identical to Russell’s Paradox.
The Shock to Mathematics
When Russell discovered the paradox, German mathematician Gottlob Frege was putting the finishing touches on the second volume of The Basic Laws of Arithmetic — an ambitious project to build all of mathematics rigorously on the foundations of set theory. The book was about to go to press when Russell’s letter arrived, pointing out the contradiction.
Frege is reported to have written that “arithmetic has been reduced to rubble.” To have the foundations of one’s life’s work collapse at the moment of completion is almost too painful to contemplate.
The Resolution
The paradox compelled mathematicians to rigorously respecify the rules for constructing sets.
The result was the Zermelo–Fraenkel set theory (ZF), first published by Zermelo in 1908 and later refined by Fraenkel. ZFC (ZF plus the Axiom of Choice) restricts how sets may be formed: instead of allowing any property whatsoever to define a set, new sets may only be formed by selecting elements from already existing sets that satisfy some condition.
Under these rules, “the set of all sets that do not contain themselves” cannot even be constructed — the paradox is blocked from the outset.
Modern mathematics is built on ZFC, and Russell’s Paradox does not arise within it. However, the consistency of set theory itself cannot be proven (this follows from Gödel’s Incompleteness Theorems), so the foundations of mathematics remain subtly uncertain.
Summary
This article covered “Russell’s Paradox.”
A single clever question shook the foundations of mathematics and forced the reconstruction of the entire subject’s basis. In terms of intellectual impact, this paradox ranks among the most consequential in the history of human thought.
To return to the full list of paradoxes, follow the link below.
Thank you for reading. We hope to see you in the next article.
