Russell's paradox, ZFC axioms, and the Axiom of Choice
Letting any property define a set leads straight to a contradiction. See the paradox that broke naive set theory, and the axioms built to repair it.
Press Start or Step to follow the question "does R contain itself?" Watch both possible answers collapse into a contradiction.
The set of all sets that do not contain themselves
Naive set theory -- where any property defines a set -- leads to devastating paradoxes. Russell's paradox showed that the "set of all sets that do not contain themselves" is self-contradictory. To rescue mathematics, Zermelo and Fraenkel developed ZFC, a careful axiomatic system that avoids these contradictions.
Key insight: If R = {x | x ∉ x}, then R ∈ R if and only if R ∉ R -- a flat contradiction. This paradox forced mathematicians to abandon unrestricted set comprehension and adopt axiomatic foundations.
Click any axiom to open it in plain English, as a formal statement, and with an example. Notice that each one is a safe way to build new sets from old ones.
Click each axiom to learn about the foundations of modern set theory
ZFC consists of about nine axioms that precisely control how sets can be formed. The most famous (and controversial) of these is the Axiom of Choice, which asserts that you can always pick one element from each set in a collection.
Key insight: ZFC restricts set formation to safe operations: pairing, union, power set, separation (filtering), and replacement (mapping). By never allowing unrestricted comprehension, ZFC avoids the paradoxes of naive set theory.
Pick one element from each set by hand or at random, then try the Shoes & Socks puzzle and the Zorn’s Lemma tab.
Choosing elements, Zorn's Lemma, and the shoes-and-socks example
Key insight: The Axiom of Choice says that given any collection of non-empty sets, you can simultaneously choose one element from each. It is independent of ZF -- you can consistently assume it or deny it, leading to different mathematical universes.
Spot a mistake or have an idea?