Zum Inhalt springen

Vollständigkeitssatz/Beispielaufnahme/Verschiedene Variablen/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet und eine Ausdrucksmenge. Begründe, warum man im Allgemeinen bei der Hinzunahme von Beispielen (innerhalb des Beweises des Vollständigkeitssatzes) nicht für alle Existenzaussagen mit einer einzigen neuen Variablen arbeiten kann.