Vollständigkeitssatz/Beispielaufnahme/Verschiedene Variablen/Aufgabe
Erscheinungsbild
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.