Es sei S {\displaystyle {}S} ein Symbolalphabet und Γ {\displaystyle {}\Gamma } eine Menge an S {\displaystyle {}S} -Ausdrücken.
Dann ist Γ {\displaystyle {}\Gamma } genau dann widerspruchsfrei, wenn Γ {\displaystyle {}\Gamma } erfüllbar ist.
