El conjunto de los hiperreales constituye un modelo en el sentido de la teoría de modelos de los axiomas de la teoría de primer orden que define axiomaticamente los números reales.