Choice, Axiom of

An axiom of set theory which states that from any family of sets a new set may be created that contains one element chosen from each set in the family. This axiom has been shown to be independent of the other axioms of set theory. It is equivalent to many other statements, including Zorn’s Lemma, the well-ordering principle, the Hausdorff Maximality Theorem, and the assertion that the Cartesian product of an infinite family of sets is non-empty.

Because the Axiom of Choice permits non-constructive proofs it is rejected by intuitionism, and careful mathematicians refer explicitly to its use in proofs that require it.

Citation Info

  • [MLA] “Choice, Axiom of.” Platonic Realms Interactive Mathematics Encyclopedia. Platonic Realms, 24 Mar 2013. Web. 24 Mar 2013. <>
  • [APA] Choice, Axiom of (24 Mar 2013). Retrieved 24 Mar 2013 from the Platonic Realms Interactive Mathematics Encyclopedia:


Get the ultimate math study-guide Math & Me: Embracing Successproduct thumbnail image Available in the Math Store
detail from Escher pic Belvedere

Are you a mathematical artist?

Platonic Realms is preparing an online gallery space to showcase and market the works of painters, sculptors, and other artists working in a tangible medium.

If your work celebrates mathematical themes we want to hear from you!

Please let us know about yourself using the contact page.