< 1 >
Teorema de la solución parcial
Sea S un sistema de fórmulas con las variables x1, . . . , xk y T es un sistema de fórmulas con las variables x1, . . . , xk, . . . , xn. Las siguientes son equivalentes:
| (i) | Toda solución real de S es una solución real parcial de T. |
| (ii) | Toda solución real de S es una solución parcial hiperreal de T. |
| (iii) | Toda solución hiperreal de S es una solución hiperreal parcial de T. |