< 1 >
Theorema van de partiële oplossingen
Zij S een stelsel van formules met de variabelen x1, . . . , xk en T een stelsel van formules met de variabelen x1, . . . , xk, . . . , xn. De volgende zijn gelijkwaardig:
(i) | Elke reële oplossing van S is een reële deeloplossing van T. |
(ii) | Elke reële oplossing van S is een partiële hyperreële oplossing van T. |
(iii) | Elke hyperreële oplossing van S is een partiële hyperreële oplossing van T. |