Difference between revisions of "Axiom of choice"
From Cantor's Attic
(Created page with "The ''axiom of choice'' is an axiom, usually adjoined to the ZermeloFrenkael axioms of set theory. Informally the axiom of choice says that given a family of nonempty sets we h...") 
m (moved Axiom of Choice to Axiom of choice: removed capitalization) 
(No difference)

Revision as of 05:33, 5 January 2012
The axiom of choice is an axiom, usually adjoined to the ZermeloFrenkael axioms of set theory. Informally the axiom of choice says that given a family of nonempty sets we have a function selecting exactly one element from each set. The axiom is equivalent to the assertion that every set can be well ordered, and equivalently that all the infinite cardinals are $\aleph$numbers.
This article is a stub. Please help us to improve Cantor's Attic by adding information.