On this page
Your Class 11 textbook defines a set as a "well-defined collection of objects". That sounds safe. But in 1901 a young philosopher found a collection that looks perfectly well defined and yet cannot exist. His discovery shook the foundations of mathematics and explains a small detail in your textbook that is easy to miss. Here is the story of Bertrand Russell's paradox, a step-by-step walk through it, how mathematicians fixed it, and what you can take from it.
Who was Bertrand Russell?
His Nobel Prize facts page says he was born on 18 May 1872 in Trelleck and died on 2 February 1970. He won the 1950 Nobel Prize in Literature "in recognition of his varied and significant writings in which he champions humanitarian ideals and freedom of thought". His Nobel biography records that he was impressed by Giuseppe Peano at the 1900 mathematical congress in Paris, and that with A. N. Whitehead he wrote Principia Mathematica in three volumes, 1910 to 1913.
What is Russell's paradox?
The MacTutor biography of Russell says he discovered the paradox in May 1901 while working on his book The Principles of Mathematics (1903). The Stanford Encyclopedia of Philosophy entry notes that Russell himself gave slightly different dates over the years, and that Ernst Zermelo had noticed a similar contradiction, possibly earlier.
Most sets are not members of themselves. The set of all students in your class is not a student. Call a set "ordinary" if it is not a member of itself. Now form
R = the set of all ordinary sets.
Ask one question: is R a member of R?
Suppose R is in R. Everything in R is ordinary, so R is ordinary, which means R is not in R. Contradiction.
Suppose R is not in R. Then R is not a member of itself, so R is ordinary. Every ordinary set is in R, so R is in R. Contradiction.
Both answers fail. So R cannot exist, even though its description seemed clear. The SEP entry notes the popular version: a village barber who shaves all and only the villagers who do not shave themselves. Who shaves the barber? The honest answer is that no such barber can exist.
Why was a letter to Frege so important?
Gottlob Frege had spent years building arithmetic from pure logic. His system assumed, in effect, that every concept has an extension: a class of all the things that fall under it. The SEP entry records that Russell wrote to him on 16 June 1902, just as the second volume of Frege's Grundgesetze der Arithmetik was in press, saying that "under certain circumstances a definable set does not form a whole". Frege added a hastily written appendix, asking: "Is it always permissible to speak of the extension of a concept, of a class? And if not, how do we recognize the exceptional cases?"
How did mathematicians fix it?
There were two main routes.
Russell's theory of types. MacTutor explains that Russell arranged statements in levels: individuals, then sets of individuals, then sets of sets, and so on. A set can only contain things from lower levels, so "a set containing itself" cannot even be written.
Zermelo's Separation axiom (1908). The SEP entry explains the idea used in modern set theory: you may not form "the set of all x with property P". You may only take an existing set A and pick out the members of A with property P.
Worked example: the paradox becomes a theorem
Under Zermelo's rule, Russell's argument does not break mathematics. It proves something. Take any set B and form R_B = {x ∈ B : x ∉ x}.
Try a small example, B = {1, 2, {1}}. Here {1} is the set containing 1.
Is 1 a member of itself? No. So 1 is in R_B.
Is 2 a member of itself? No. So 2 is in R_B.
Is {1} a member of itself? Its only element is 1, so no. So {1} is in R_B.
Hence R_B = {1, 2, {1}}, which equals B itself.
Is R_B an element of B? The elements of B are 1, 2 and {1}. The set {1, 2, {1}} is none of these. So R_B is not in B.
The general argument in the SEP entry shows this always happens: for every set B, R_B is a set that is missing from B. So no set can contain everything. There is no set of all sets.
What does this mean for your Class 11 sets chapter?
The NCERT Class 11 chapter on Sets (reprint 2026-27) chooses a universal set for each context, such as the rational numbers when you work with integers, rather than one universal set for everything. Its historical note mentions Russell's 1902 discovery and quotes Paul Halmos: "nothing contains everything". Our guide to sets, relations and functions for Class 11 covers the exam side.
Common mistakes to avoid:
Confusing ∈ with ⊆. {1} ∈ B in the example above, but {1} is also a subset of B because 1 ∈ B. These are different statements.
Assuming "clearly described" means "is a set". Russell showed that a description can be clear and still name nothing.
If symbols such as ∈ and ⊆ blur together, the Fermi Concept Library covers every concept in mathematics with its own lesson.
For what came after Russell, read about Kurt Gödel's incompleteness theorems.
What can a student take from how Russell worked?
Re-check accepted arguments. The SEP entry says he found the paradox while examining Cantor's proof that there is no largest cardinal number.
Ask the yes-or-no question. The whole paradox comes from checking both answers to one question carefully.
Share bad news kindly. His letter to Frege praised Frege's work before pointing out the flaw.
Next step: take B = {a, {a}, {b}} and work out R_B. Then check whether R_B is an element of B.
