Mathematics · Foundations & Logic
A topic within Foundations & Logic, itself one of 13 topics in that field and part of Mathematics.
2 works
John L. Bell
Lays out the equivalents of the axiom of choice, including Zorn's Lemma and the well-ordering theorem, and the paradoxical consequences, such as Banach-Tarski, that made it controversial even after its independence from the other axioms was proved.
link checked 17 Sept 2026Ernst Zermelo
States the axiom of choice explicitly for the first time and uses it to prove every set can be well-ordered, forcing mathematicians to confront whether an existence proof with no construction is a proof at all.
link checked 17 Sept 2026