Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gamma leer/Aufgabe
Es sei ein Symbolalphabet und die zugehörige Sprache. Zeige, dass zu
die in Bemerkung eingeführte Äquivalenzrelation die Identität ist.
Es sei ein
Symbolalphabet
und
die zugehörige Sprache. Zeige, dass zu
die in Bemerkung eingeführte Äquivalenzrelation die Identität ist.