Russell's Paradox

Set Theory · Axiom Academy

The devastating paradox that shattered naive set theory Step 1: Can Sets Contain Themselves? Before we meet Russell's Paradox, let's explore an unusual question: Can a set be a member of itself? Now consider this unusual set: Step 2: Russell's Brilliant Question In 1901, Bertrand Russell asked: What if we try to form the set of all sets that do NOT contain themselves? "R is the set of all sets that are not members of themselves" Under naive set theory, we should be able to form this set. Step 3: The Contradiction Explodes Now for Russell's killer question: Is R a member of itself? Let's explore both possibilities: Russell's Paradox can be understood through a famous analogy... A barber in a town shaves all and only those people who do not shave themselves. Question: Does the barber shave himself? Step 5: How ZFC Prevents the Paradox The solution is to restrict how sets can be formed. ZFC axioms prevent Russell's Paradox from arising. ZFC replaces the naive comprehension principle with the Axiom of Separation : Key difference: We can only select from an already existing set A, not form arbitrary collections. We can't form "the set of all sets" (no universal set exists in ZFC) We can only form R relative to some existing set: x ∈ A | x ∉ x This local version doesn't lead to contradiction The paradox relied on unrestricted formation - which ZFC forbids ZFC builds the mathematical universe starting from the empty set: Start with ∅ (Axiom of Empty Set)

This is the written version of the interactive lesson above. See the full Set Theory course.