Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gamma leer/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet und die zugehörige Sprache. Zeige, dass zu

die in Bemerkung

eingeführte Äquivalenzrelation die Identität ist.