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

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

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