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.