Set Theory and the Continuum Hypothesis