From Wikipedia, the free encyclopedia
[edit] Axiom of choice
Chinju added (to "The Generalized continuum hypothesis") "and as a consequence The axiom of choice". Although it is true that GCH implies AC, it is much easier to prove AC directly from V=L. JRSpriggs 07:26, 11 December 2006 (UTC)