Los números reales convencionales son una realización posible de la llamada teoría de primer orden de los números reales.