Maeckes logo

<    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.

 


Deutsch   English   Español   Français   中文   Русский