, es el conjunto de sentencias expresables en formula_14 que son válidas en el modelo de los números reales ordinarios.