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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine widersprüchliche, unter Ableitungen abgeschlossene Teilmenge. Zeige, dass es nur eine Termklasse im Sinne von Bemerkung

gibt.