In the mathematical field of set theory, the continuum means the real numbers, or the corresponding (infinite) cardinal number, . Georg Cantor proved that the cardinality is larger than the smallest infinity, namely, . He also proved that equals , the cardinality of the power set of the natural numbers.