Russell's paradox (1901) shows that naive set theory is inconsistent. Let R = {x : x ∉ x} be the set of all sets that are not members of themselves. If R ∈ R, then by definition R ∉ R; if R ∉ R, then R qualifies and R ∈ R — a contradiction either way. The paradox arises directly from the unrestricted comprehension axiom and forces a fundamental revision of the foundations of mathematics. Modern set theory resolves it by restricting comprehension to subsets of already-existing sets rather than allowing arbitrary predicate-defined collections.
Work through the paradox slowly: write out both cases of the biconditional R ∈ R ↔ R ∉ R and derive the contradiction explicitly. Compare with the informal 'barber paradox' as an analogue. The goal is to see precisely where unrestricted comprehension fails and why restricting to subsets of existing sets resolves it.
To appreciate Russell's paradox, start with naive set theory's most powerful feature — its unrestricted comprehension principle: for any predicate P(x), there exists a set containing exactly the objects that satisfy P. This seems innocent. We can form the set of all prime numbers, the set of all red things, the set of all sets with exactly three members. Naive set theory promises a set for any property you can describe.
Now ask an unusual question: can a set contain itself as a member? Most ordinary sets don't. The set of prime numbers is not itself a prime number, so it doesn't contain itself. But nothing in naive set theory forbids self-membership — you could imagine a "set of all sets" that would contain itself. So some sets contain themselves and some don't. That is a perfectly well-defined property, and by unrestricted comprehension we can form R = {x : x ∉ x}, the set of all sets that are not members of themselves. This is the set Russell constructed.
The contradiction arises when you ask: is R a member of itself? Case 1: assume R ∈ R. Then R satisfies its own membership condition, which requires x ∉ x — so R ∉ R. Contradiction. Case 2: assume R ∉ R. Then R fails to be a member of itself, which is precisely the condition for membership in R — so R ∈ R. Contradiction again. Either assumption leads to its negation. This is not a surprising or counterintuitive result that might be true — it is a formal proof that the axiom system is inconsistent. In an inconsistent system, every statement is provable, which means the system proves nothing meaningful.
The barber analogy (also due to Russell) makes the intuition vivid: a barber shaves exactly those people who do not shave themselves — who shaves the barber? If the barber shaves himself, he's in the class he doesn't shave; if he doesn't, he's in the class he does. The analogy shows that certain self-referential constructions simply cannot exist coherently. The fix is to prevent such constructions from being formed in the first place. Zermelo's axiom of separation (later incorporated into ZFC) replaces unrestricted comprehension with a restricted version: given an already-existing set A and a predicate P, you may form {x ∈ A : P(x)}. You can carve subsets out of existing sets, but you cannot conjure a set from a global predicate ranging over all sets. This breaks the paradox because R would require quantifying over all sets — something the axiom no longer permits. The set R simply cannot be formed, and the contradiction never arises.