\begin{definition}[Definition:Cardinality of Continuum]
The '''cardinality of the continuum''' is the cardinality of the set of real numbers, denoted $\size \R$ or $\mathfrak c$.
{{ExtractTheorem|State and prove this in a separate page}}
It is an infinite cardinal number.
\end{definition}