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