Cardinality of the continuum