Es sei ${\displaystyle {}S}$ ein Symbolalphabet und ${\displaystyle {}I}$ eine ${\displaystyle {}S}$-Interpretation auf einer Menge ${\displaystyle {}M}$, wobei die Terminterpretation surjektiv sei.

Dann ist die Gültigkeitsmenge ${\displaystyle {}\Gamma =I^{\vDash }}$ maximal widerspruchsfrei und enthält Beispiele.