Changes

The Axiom of Choice has many equivalent statements, such as "the [[Cartesian product]] of any collection of nonempty sets is nonempty", [[The Well-Ordering Principle]], the existence of [[cardinal numbers]], the [[continuum hypothesis]], and the existence of subsets of the real line which do not have a well-defined [[Lebesgue measure]].

The Axiom of Choice has many equivalent statements, such as "the [[Cartesian product]] of any collection of nonempty sets is nonempty", [[The Well-Ordering Principle]], the existence of [[cardinal numbers]], the [[continuum hypothesis]], and the existence of subsets of the real line which do not have a well-defined [[Lebesgue measure]].

Despite its usefulness, many mathematicians nowadays reject the axiom of choice. This rejection is based on the belief that all [[mathematical proofs]] should be constructive. AC, by its very nature, is nonconstructive, since it merely asserts that a choice function exists, but does not give an explicit method for its construction. The formulation of constructive axiom of choice is one of three major problems which challenge 21st century logicians.

Despite its usefulness, many mathematicians reject the axiom of choice. This rejection is based on the belief that all [[mathematical proofs]] should be constructive. AC, by its very nature, is nonconstructive, since it merely asserts that a choice function exists, but does not give an explicit method for its construction. The formulation of constructive axiom of choice is one of three major problems which challenge 21st century logicians.

The axiom of choice is not related to the [[liberal]] term pro-choice, which is the term used for themselves by proponents of [[abortion]].

The axiom of choice is not related to the [[liberal]] term pro-choice, which is the term used for themselves by proponents of [[abortion]].

[[category:set theory]]

[[category:set theory]]