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.