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