Maths›03. Logic and Foundations8.2 Equivalent FormulationsEquivalent forms of the axiom of choice, including Zorn's lemma, the well ordering theorem, maximal principles, and right inverses of surjections.
Maths›03. Logic and Foundations8.1 Axiom of ChoiceThe axiom of choice, choice functions, indexed families, and first consequences in axiomatic set theory.