The Axiom of Choice
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
The axiom of choice is a principle of set theory: given a family of non-empty, pairwise disjoint sets, there exists a set that contains exactly one element from each member of the family. Though late to appear in mathematics, it is, after Euclid's parallel postulate, the most discussed axiom of all, even though its statement looks bland and even self-evident.
SCAFFOLDING EFFECT
Reduce cognitive load
- Separate existence from construction: distinguish asserting that something exists from giving a method to find it. - Audit hidden use: notice when a proof silently performs infinitely many arbitrary selections. - Weigh the cost: remember that accepting the axiom brings counterintuitive results such as the Banach-Tarski paradox.
Anchor fast decisions
The dispute turns on two ways of selecting. If a rule can specify which element to take, the axiom is unnecessary; but with infinitely many sets and no rule at all, selecting one from each cannot be carried out. The axiom simply asserts that such a set exists while giving no way to construct it, which is why it guarantees existence without providing a computation, and why it feels self-evident yet suspect.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- plato.stanford.eduhttps://plato.stanford.edu/entries/axiom-choice/verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.