Well-Ordering Theorem

From Conservapedia
This is an old revision of this page, as edited by Aschlafly (Talk | contribs) at 12:18, August 22, 2008. 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.