Changes

One does not have to "negate" the Axiom of Choice in order to reject its use in rigorous proofs.

One does not have to "negate" the Axiom of Choice in order to reject its use in rigorous proofs.

* But the definition of AC is wrong. [[User:Sunda62|Sunda62]] 09:42, 12 April 2010 (EDT)

* But the definition of AC is wrong. "For every nonempty set there is a function that chooses an element from each set."  is false; for example, the set X = { { } } is a nonempty set that does not have a choice function. [[User:Sunda62|Sunda62]] 09:44, 12 April 2010 (EDT)

== References ==

== References ==

<references/>

<references/>