6
$\begingroup$

Was asked this question, and I have no idea about how to start proving it.

Could someone give me some good reference material to start with.

  • 0
    I agree. The concept of bijections and cardinality can be introduced fairly quickly. However the independence result is often done using constructibility and forcing, which are more technical.2012-09-17

1 Answers 1

14

The assertion that there is none is called The Continuum Hypothesis, and it is provably unprovable from the usual axioms of mathematics. Cantor made this hypothesis some 150 years ago, and it was in fact the first on Hilbert's problems.

Historically Cantor asked this a long time before there was a formal foundation to set theory. Some time into the 20th century the formulation of set theory as we know it today began to take shape. Now we use an axiom system called ZFC, originally formulated by Zermelo, with additional axioms by Fraenkel, and with the axiom of Choice adjoined.

Gödel proved in the subsequent years that if a theory is consistent then it has a model, and much later he showed that if ZF is consistent then ZFC+CH (and more) is consistent. He did this by constructing what is known as The Constructible Universe in modern set theory.

In 1963 Paul Cohen came up with a technique which is known as Forcing, in which we begin with a model of set theory and we extend it by adding a particular set which has certain properties. Using this technique he showed that if ZFC+CH is consistent then it is so is ZFC+"CH is false".

Combining the two results we have that from the usual axioms of set theory (namely, ZFC) we cannot prove nor disprove the continuum hypothesis. Both Gödel's work as well Cohen's are complicated and technical. Most books about axiomatic set theory should cover them at some point. For example Kunen's or Jech's.

  • 1
    @Norbert: I think that you may have missed the double negation in my previous comment; or that you may have applied some intuitionistic logic to it and did not deduce that the double negation can be eliminated... :-)2012-09-20