Logik/Vollständigkeitssatz/Henkin/Fakt
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.