Logik/Vollständigkeitssatz/Henkin/Fakt

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.