This is an old revision of the document!
$\dots,\,-\frac{\pi}{2},\,0,\,1,\dots$
${\mathbb R}$
axiomatics and cardinality
Wikipedia: Real number, Construction of the real numbers Computable number Definable real number
Logic