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

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache. Zeige, dass zu

{}\Gamma =\emptyset \,

die in Bemerkung eingeführte Äquivalenzrelation die Identität ist.