Ese lenguaje puede formalizar los números reales ordinarios que constituyen un modelo posible de dicho lenguaje.