Definition
The Axiom of Choice (AC) is a foundational principle in set theory, a branch of mathematics that underpins most of modern math. Formulated by Ernst Zermelo in 1904, the axiom states that for any collection of non-empty sets, it is possible to choose one element from each set — even if the collection is infinite and even if there is no explicit rule for making the choice. In finite contexts, this is obvious: if you have five bins of apples, you can pick one apple from each. But in infinite contexts, the axiom becomes controversial because it permits “non-constructive” choices — selections that exist but cannot be explicitly defined or computed. The Axiom of Choice is independent of the other standard axioms of set theory (Zermelo-Fraenkel set theory, or ZF), meaning it can neither be proved nor disproved from them. Mathematicians therefore work in ZF (without Choice) or ZFC (with Choice), depending on their philosophical commitments. The axiom has bizarre consequences, including the Banach-Tarski paradox — the theorem that a solid ball can be decomposed into a finite number of pieces and reassembled into two identical copies of the original ball.
Why It Matters
The Axiom of Choice is the internet’s favorite mathematical concept to pretend to understand. It appears in math memes, in Reddit’s r/math and r/badmathematics, in xkcd comics, and in the signature of every mathematics graduate student who wants to signal their sophistication. The internet’s relationship with AC is defined by its status as a shibboleth: if you know about the Banach-Tarski paradox, if you can explain why the Axiom of Choice is “obviously true, obviously false, and obviously independent,” you are part of the club. The axiom also matters because it is one of the few genuinely philosophical questions in mathematics: it is not about calculation but about what it means for something to “exist.” If a set can be chosen but never described, does it exist? The Platonists say yes. The constructivists say no. The internet says “I read about this on Wikipedia and now I bring it up at parties.” The Axiom of Choice is also the subject of one of mathematics’ most enduring jokes: “The Axiom of Choice is obviously true, the well-ordering theorem is obviously false, and who can tell about Zorn’s lemma?” This joke is only funny if you understand all three concepts. Which is the point. The Axiom of Choice is not just math. It is a personality trait. And the internet has adopted it.
Example
“He learned about the Axiom of Choice at 20. He was a math major. He did not understand it. He pretended to understand it. He mentioned it at a party. ‘The Banach-Tarski paradox is wild, right?’ Someone nodded. Someone else asked what it was. He explained. Badly. He mentioned infinite sets. He mentioned non-measurable pieces. He mentioned that you could duplicate a sphere. The person who nodded stopped nodding. The party moved on. He was alone with his axiom. At 30, he still did not fully understand it. But he understood the social function. The Axiom of Choice was a test. A test of mathematical maturity. And he had failed it. Publicly. Repeatedly. With confidence. That was the Axiom of Choice. Not a principle. A mirror. A mirror that reflected his own pretension. And the reflection was infinite. And non-constructive. And obviously true.”
Related Terms
- Banach-Tarski Paradox — The counterintuitive theorem that relies on the Axiom of Choice to duplicate spheres
- Zermelo-Fraenkel Set Theory — The standard axiomatic system of mathematics, with and without Choice
- Non-Constructive Proof — The type of proof the Axiom of Choice enables, showing something exists without providing an example
- Zorn’s Lemma — The equivalent of the Axiom of Choice that most mathematicians actually use
- Set Theory — The branch of mathematics that studies infinite collections and their properties