Linked from

The 48 pages that link to Axiom of choice, each with the reason it gives.

• Set theoryRelated: It enables powerful existence proofs and has consequences that cannot be derived from the other usual axioms.

• Zermelo–Fraenkel set theoryRelated: ZF does not include this principle, whose addition changes what the theory can prove.

• Cartesian productRelated: For infinite families, it governs whether a product of nonempty sets must be nonempty.

• Continuum hypothesisRelated: Together with Zermelo–Fraenkel axioms, it forms the standard background for independence results.

• Principia MathematicaRelated: Its treatment illustrates the boundary between logical principles and assumptions needed in mathematics.

• Well-ordering theoremRelated: Choosing one element from each subset yields a well-ordering of any set.

• Ernst ZermeloRelated: Zermelo used this principle to prove that every set can be well-ordered.

• Constructive mathematicsCompared with: Its unrestricted form can assert choices without supplying an explicit selection procedure.

• Zorn's lemmaRelated: Zorn's lemma is equivalent to this choice principle in standard set theory.

• Axiom of extensionalityRelated: It operates on families treated as genuine sets, whose identities extensionality fixes by membership.

• Banach–Tarski paradoxRelated: Choosing representatives from rotation orbits produces the nonmeasurable pieces.

• Choice functionRelated: It guarantees choice functions even when no explicit selection rule is given.

• Axiom of dependent choiceNarrower topic: The full axiom of choice implies dependent choice, but dependent choice does not imply the full axiom.

• Axiom of pairingCompared with: It concerns simultaneous selections, not the existence of a set with two specified members.

• Axiom of unionCompared with: Union collects the family’s elements but does not choose one element from each member.

• Independence (mathematical logic)Broader topic: It is independent of Zermelo–Fraenkel set theory, assuming that theory is consistent.

• Infinite setRelated: It affects whether certain infinite sets and their subsets can be constructed or well-ordered.

• Tychonoff's theoremRelated: In standard set theory, its full strength is equivalent to Tychonoff’s theorem.

• UltrafilterCompared with: The ultrafilter lemma is weaker than the full axiom of choice, despite common proofs using choice.

• Axiom of FoundationRelated: Choice is independent of Foundation in standard set theory and addresses a different structural question.

• Gödel's constructible universeRelated: Gödel proved that L satisfies choice, establishing its consistency relative to the base theory.

• Chain (order theory)Narrower topic: Its equivalence with maximal-chain principles makes infinite chain arguments foundationally sensitive.

• Maximal elementRelated: Zorn's lemma, a standard maximal-element principle, is equivalent to the axiom of choice.

• Axiom of constructibilityRelated: The constructible universe satisfies choice, so V = L implies the axiom of choice.

• Axiom of determinacyCompared with: The two principles cannot both hold in the usual set-theoretic setting.

• Axiom of infinityRelated: It is another prominent set-existence principle, but is independent of infinity in standard set theory.

• Felix HausdorffRelated: Its consequences for infinite sets intersected the foundational questions Hausdorff investigated.

• Axiom of Power SetRelated: It is another major Zermelo–Fraenkel extension, logically separate from Power Set.

• Left inverseRelated: For arbitrary sets, extending the forced inverse on f’s image can require choosing outputs elsewhere.

• Nonmeasurable setRelated: A choice function selects the representatives used to construct a Vitali set.

• Axiom of countable choiceNarrower topic: Countable choice is the restriction of this broader principle to countable families.

• Existence theoremRelated: It can assert the existence of a selection without specifying how to make each choice.

• Large cardinalRelated: Many standard large-cardinal definitions use choice to characterize cardinal size and structure.

• Boolean prime ideal theoremCompared with: The theorem follows from choice, but choice is strictly stronger.

• Aleph numberRelated: It supports the general identification of set cardinalities with aleph numbers.

• Axiom of regularityCompared with: It is often discussed alongside regularity, but addresses selection rather than membership structure.

• Schröder–Bernstein theoremCompared with: The theorem itself needs no choice, unlike some broader results about comparing arbitrary cardinalities.

• Well-orderRelated: In Zermelo–Fraenkel set theory, it is equivalent to the well-ordering theorem.

• Axiom (general principle)Broader topic: Its independence from the other Zermelo–Fraenkel axioms makes its acceptance consequential.

• Free Will TheoremRelated: The theorem’s free-choice assumption concerns measurement settings, not this set-theoretic axiom.

• Hausdorff paradoxRelated: Choosing one point from each orbit supplies representatives without a geometric selection rule.

• Solovay modelRelated: The model omits full choice, whose consequences include nonmeasurable sets of reals.

• Krull's theoremRelated: In standard set theory, Zorn's lemma—and thus this proof—depends on the axiom of choice.

• Axiom (mathematics and logic)Related: Its independence from other set-theoretic axioms highlights the consequences of adding or withholding an axiom.

• Axiom of global choiceNarrower topic: Restricting the global selector to any set-sized family yields the ordinary axiom of choice.

• Axiom of limitation of sizeRelated: It is a separate foundational principle and is not what makes proper classes equinumerous with V.

• Rasiowa–Sikorski lemmaCompared with: The lemma gives a structured countable construction rather than unrestricted simultaneous choices.

• Teichmüller–Tukey lemmaNarrower topic: The lemma is equivalent to this foundational principle, despite its different maximality language.