Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gleichheit aller Terme/Aufgabe

Es sei ${}\Gamma \subseteq L^{S}$ eine unter Ableitungen abgeschlossene Teilmenge, die zu je zwei Termen ${}s,t$ die Gleichheit ${}s=t$ enthalte. Wie viele Termklassen im Sinne von Bemerkung

gibt es? Ist ${}\Gamma$ widersprüchlich?

Eine Lösung erstellen