Logik/Vollständigkeitssatz/Henkin/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Satz von Henkin

Es sei eine Menge an -Ausdrücken (über einem Symbolalphabet ), die maximal widerspruchsfrei ist und Beispiele enthält.

Dann ist die in Fakt gegebene Interpretation ein Modell für .

Insbesondere ist erfüllbar.

Zum Beweis, Alternativen Beweis erstellen