Una manera natural de construir el modelo no estándar de los números hiperreales a partir del modelo estándar (números reales ordinarios) es definir un lenguaje de primer orden formula_14 donde además de signos para cuantificadores, relaciones/predicados y funciones se incluyan un número infinito de constantes "c" (una para cada número real construible en la teoría).