Continuum Hypothesis
From ProofWiki
Contents |
Hypothesis
There is no set whose cardinality is strictly between that of the integers and the real numbers.
Independence of ZF and ZFC
In 1940, Kurt Gödel showed that it is impossible to disprove the Continuum Hypothesis (CH for short) in ZF with or without the Axiom of Choice (ZFC).
In 1963, Paul Cohen showed that it is impossible to prove CH in ZF or ZFC.
These results together show that CH is independent of both ZF and ZFC.
are these proofs something we could reasonably add?
Prime.mover says: certainly, but not on this page. And not by me, at least not till I've learned up.
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Comment
This problem is no. 1 in the Hilbert 23.
Sources
- H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability (1996): Appendix $\text{A}.6$
