< 1 >
Théorème de solution partielle
Soit S un système de formules avec les variables x1, . . . , xk et T un système de formules avec les variables x1, . . . , xk, . . . , xn. Les formules suivantes sont équivalentes :
| (i) | Toute solution réelle de S est une solution réelle partielle de T. |
| (ii) | Toute solution réelle de S est une solution hyperréelle partielle de T. |
| (iii) | Toute solution hyperréelle de S est une solution hyperréelle partielle de T. |