Vollständigkeitssatz/Beispielaufnahme/Verschiedene Variablen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Zur Lösung, Alternative Lösung erstellen