Russell's paradox

This topic is beyond the high-school curriculum (logic and set theory). Below is an illustrative account — the heart of the paradox without the full formal machinery.

What just happened?

We considered “the set of all sets that do not contain themselves”. The question “does this set contain itself?” has no consistent answer: each of the two possibilities immediately contradicts itself. This is not just a hard riddle — it is a contradiction built into the very definition.

The Russell set:

— $R$ contains exactly those sets $x$ that are not their own elements. Now let us ask about $R$ itself:

If $R$ contains itself, then it satisfies the membership condition, so — by the definition of $R$ — it should not contain itself. And if it does not contain itself, then it satisfies the condition, so it should contain itself. A contradiction both ways.

Vividly — the barber paradox:

In a certain town the barber shaves all those — and only those — who do not shave themselves. Does the barber shave himself? If he does, then he is one of those who shave themselves, so he should not be shaved by the barber; if he does not, then he is someone who does not shave himself, so the barber should shave him — that is, he shaves himself. The same vicious circle as with $R$.

Why was this a shock?

The paradox revealed that naive set theory — which assumes that every property defines a set (the so-called unrestricted comprehension axiom) — is internally contradictory. And set theory was meant to be the foundation of allof mathematics. Russell's discovery (1901) is sometimes called “the third foundational crisis of mathematics”.

How it was fixed — ZFC:

In response, axiomatic set theories were built — the most famous being ZFC (Zermelo–Fraenkel with the axiom of choice). They carefully restrict which collections may be called sets: “too large” constructions like $R$ are simply not sets, so the paradox cannot arise. This is the foundation on which modern mathematics stands.

Why you should know this:

This is not exam material — but (alongside Gödel's theorems) it shows how subtle and deep the foundations of mathematics are. Even the “obvious” notion of a set requires precise axioms, because without them it leads to contradiction.

Remember: the Russell set $R=\{x:x\notin x\}$ cannot exist — assuming it does leads to $R\in R \iff R\notin R$, a contradiction regardless of the answer. That is why “any property defines a set” is a false rule, and mathematics is built on carefully chosen axioms.