Changes

::For every collection of nonempty sets S, there exists a function f such that f(S) is a member of S for every possible S.

::For every collection of nonempty sets S, there exists a function f such that f(S) is a member of S for every possible S.

Mathworld explains the Axiom of Choice as follows:<ref>http://mathworld.wolfram.com/AxiomofChoice.html</ref>

Mathworld explains the Axiom of Choice as follows:<ref name="mathworld">http://mathworld.wolfram.com/AxiomofChoice.html</ref>

::Given any set of mutually disjoint nonempty sets, there exists at least one set that contains exactly one element in common with each of the nonempty sets.

::Given any set of mutually disjoint nonempty sets, there exists at least one set that contains exactly one element in common with each of the nonempty sets.

== Use of the Axiom of Choice ==

== Use of the Axiom of Choice ==

The Axiom of Choice has many equivalent statements, such as the [[Tychonoff theorem]], the [[Well-Ordering Theorem]], the existence of [[cardinal number]]s, the existence of a basis for every vector space, and the existence of subsets of the real line which do not have a well-defined [[Lebesgue measure]]. In [[algebra]] it is common to use [[Zorn's Lemma]] (also equivalent to the Axiom of Choice) to study [[ideal]]s in infinite [[Noetherian ring]]s.

The Axiom of Choice has many equivalent statements, such as the [[Tychonoff theorem]], the [[Well-Ordering Theorem]]<ref name="mathworld" />, the existence of [[cardinal number]]s, the existence of a basis for every vector space{{fact}}, and the existence of subsets of the real line which do not have a well-defined [[Lebesgue measure]].{{fact}} In [[algebra]] it is common to use [[Zorn's Lemma]] (also equivalent to the Axiom of Choice<ref>http://mathworld.wolfram.com/ZornsLemma.html</ref>) to study [[ideal]]s in infinite [[Noetherian ring]]s.

Use of the Axiom of Choice has led to some seemingly absurd results.  In the [[Banach-Tarski Paradox]], the Axiom of Choice is used to prove that a solid sphere of infinitely divisible parts may be chopped up and reconstructed as two new spheres of identical size, thereby creating 2 out of only 1.  This paradox is proven only through use of the Axiom of Choice, and the authors of this proof did so to criticize this Axiom.  One attempt to resolve this apparent contradiction is to show that physical spheres are not [[Lebesgue measurable]].<ref name="kuro5hin" />

Use of the Axiom of Choice has led to some seemingly absurd results.  In the [[Banach-Tarski Paradox]], the Axiom of Choice is used to prove that a solid sphere of infinitely divisible parts may be chopped up and reconstructed as two new spheres of identical size, thereby creating 2 out of only 1.  This paradox is proven only through use of the Axiom of Choice, and the authors of this proof did so to criticize this Axiom.  One attempt to resolve this apparent contradiction is to show that physical spheres are not [[Lebesgue measurable]].<ref name="kuro5hin" />