Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gamma widersprüchlich/Aufgabe

Es sei ${}\Gamma \subseteq L^{S}$ eine widersprüchliche, unter Ableitungen abgeschlossene Teilmenge. Zeige, dass es nur eine Termklasse im Sinne von Bemerkung gibt.

Eine Lösung erstellen