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.
Eine Lösung erstellen