Además si se pretende evitar la teoría de modelos puede ampliarse la teoría de los números reales mediante un predicado abstracto (semánticamente interpretable como "x es un número real estándar") y tres axiomas adicionales que describen dicho predicado (estos predicados permiten caracterizar la diferencia entre un número real estándar y uno hiperreal no convencional).