< 1 >
Theorema der partiellen Lösung
Sei S ein System von Formeln mit den Variablen x1, . . . , xk und T sei ein System von Formeln mit den Variablen x1, . . . , xk, . . . , xn. Das folgende ist äquivalent:
| (i) | Jede reelle Lösung von S ist eine reelle Teillösung von T. |
| (ii) | Jede reelle Lösung von S ist eine hyperreelle Teillösung von T. |
| (iii) | Jede hyperreale Lösung von S ist eine hyperreale Teillösung von T. |