Formalmente pueden construirse de manera totalmente rigurosa a partir de una axiomatización de primer orden de los números reales.