Talk:Statements true in L

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)