Set Theory of the Continuum