Logik/Vollständigkeitssatz/Henkin/Fakt

Satz von Henkin

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

Dann ist die in Fakt gegebene Interpretation ein Modell für ${}\Gamma$.

Insbesondere ist ${}\Gamma$ erfüllbar.

Zum Beweis, Alternativen Beweis erstellen