Desde el punto de vista lógico los números reales pueden ser entendidos como un lenguaje formal en el que se da por supuesto la existencia de ciertos objetos y en el cual se puede deducir la existencia de otros objetos.