Well-Ordering Theorem

From Conservapedia
This is an old revision of this page, as edited by Jaques (Talk | contribs) at 10:33, April 2, 2007. It may differ significantly from current revision.

Jump to: navigation, search

The Well-Ordering Theorem was proved by Zermelos in 1904, and it states:

Every set can be well-ordered.

This result surprised mathematicians everywhere. Because the Well-Ordering Theorem is a direct consequence of the Axiom of Choice, and no well-ordering relation has ever been explicitly constructed for uncountable sets, therefore many mathematicians have rejected the Axiom of Choice.