Departure question
Test the floor beneath mathematicsPort 3 of 8Meet paradox, incompleteness, and independence in attempts to build a foundation for mathematics from sets.
This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.
Does the set of all sets that do not contain themselves contain itself, or not? Russell discovered the contradiction in 1901, exposing problems in unrestricted set construction and Frege's Basic Law V. He communicated it to Frege in a letter dated 16 June 1902; later axiomatic set theories imposed explicit constraints on set formation.
Assumption | Conclusion | Contradiction? |
|---|---|---|
R = { x : x ∉ x } | R is defined (naive set theory) | |
R ∈ R | ⟹ R ∉ R (by definition) | ✗ Contradiction |
R ∉ R | ⟹ R ∈ R (by definition) | ✗ Contradiction |
Everyday version: the "barber paradox" | The barber of everyone who does not shave themselves | Does the barber shave himself? |
Resolution | Restrict how sets may be defined (axiom schema of separation) | ZFC axioms (1908 onward) |
Russell communicated the paradox he had discovered in 1901 in a letter to Frege dated 16 June 1902. Later axiomatic set theories explicitly restricted arbitrary set formation.
Does the set of all sets that do not contain themselves contain itself? Russell's 1901 paradox exposed a contradiction in unrestricted set formation and prompted responses including type theory and axiomatic set theory.
Ports in time
Follow the scenes to see problems, notation, standards of proof, and applications changing across different times and places.
Bertrand Russell found a self-referential contradiction tied to unrestricted set formation and Frege’s Basic Law V.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearTo block paradoxes such as Russell’s, Zermelo proposed an explicit system of axioms — the beginning of modern Zermelo–Fraenkel set theory.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearRussell and Alfred North Whitehead began a monumental three-volume attempt to derive mathematics from formal logic; their route to 1+1=2 became famously long.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearGödel showed that sufficiently strong formal systems, including systems in the Principia tradition, face precise limits on completeness and proving their own consistency.
No reliable place is given, so time continues without an invented pin
Continue through the world of this yearType systems that prevent unsafe self-reference, database consistency, and reasoning about self-referential systems in AI.
Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.
No concept belongs to one person
These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.
Number lenses
These numbers are editorial lenses for the voyage, not required prerequisites.
Meet paradox, incompleteness, and independence in attempts to build a foundation for mathematics from sets.
Open the number voyage
Meet paradox, incompleteness, and independence in attempts to build a foundation for mathematics from sets.
Open the number voyage
Meet paradox, incompleteness, and independence in attempts to build a foundation for mathematics from sets.
Open the number voyage
Concept genealogy
Concepts arriving from before
Current port
Russell's Paradox
Concepts opened from here
No direct successor port is curated yet.
Only direct editorial links are shown; this is not a complete learning order or historical influence line.
