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