Maths●●●●●Difficulty 4 of 5

How did a one-line paradox break the foundations of mathematics?

The set of all sets that are not members of themselves cannot exist, and the fix changed what mathematicians mean by a set.

▶ Start the story

Because it showed that the most natural definition of a set, any collection you can describe, leads to a contradiction. In 1901 Bertrand Russell published a set-theoretic paradox: it shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. That principle says that for any sufficiently well-defined property, there is the set of all and only the objects that have it. It sounds harmless.

Here is the paradox. Call a set normal if it is not a member of itself, and abnormal if it is. The set of all squares in a plane is normal, since it is not itself a square. Now take R, the set of all sets that are not members of themselves. If R is not a member of itself, then by its own definition it is a member of itself. If it is a member of itself, then it is not. That is Russell's paradox.

Normal or abnormal?

Normal set

  • Is not a member of itself
  • The set of all squares in a plane

Abnormal set

  • Is a member of itself
  • The set of everything that is not a square in the plane

Why was that so serious? In classical logic any proposition can be proved from a contradiction, so a contradiction in a set theory destroys the conventional meaning of truth and falsity. Set theory was seen as the basis for all the other branches of mathematics, so the paradox threatened the foundations of mathematics as a whole. It also hit Gottlob Frege, whose system Russell showed could produce the paradox, undermining Frege's attempt to reduce mathematics to logic.

The repair came in 1908. Zermelo restricted the unlimited comprehension principle, and Russell proposed his own type theory. The standard theory that grew from Zermelo's, ZFC, does not assume that every property gives a set: it only lets you carve out definable subsets of a set you already have. The Russell set cannot be built that way, so in ZFC it is not a set.

Quiz me

0/3

  1. 1.What assumption does Russell's paradox show to be inconsistent?
  2. 2.How does ZFC avoid the Russell set?
  3. 3.Why did the paradox threaten the foundations of mathematics as a whole?

Recap

You cannot form a set from any description you like; set theory must restrict which collections are sets.

💡 A trick to remember it · A set of exactly the sets that don't contain themselves is a hall of mirrors: yes means no, and no means yes.

Surprising fact · Zermelo found it independently by 1902, and Cantor had already seen a contradiction at the end of the 1890s.

Sources (1)

No source, no claim. Every fact in this lesson (16 claims) cites at least one of these.

  1. [1]Russell's paradox · Wikipedia
More lessons in ➗ Maths (3) See all maths lessons →

One more light on your map.

Get one lesson like this every day, about the things you love. Free, in two or five minutes.

Get the share card for this lesson ↗