Science Fair Project Encyclopedia
List of statements undecidable in ZFC
The continuum hypothesis (which states that ℵ1 = ℶ1), and the generalized continuum hypothesis (which states that ℵn = ℶn for every n) are independent of ZFC (as shown by Paul Cohen and Kurt Gödel), as is the combinatorial statement ◊ (which implies CH).
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details