Es sei Γ {\displaystyle {}\Gamma } eine widerspruchsfreie Menge an S {\displaystyle {}S} -Ausdrücken (über einem Symbolalphabet S {\displaystyle {}S} ).
Dann gibt es eine maximal widerspruchsfreie S {\displaystyle {}S} -Menge Γ ′ {\displaystyle {}\Gamma '} mit Γ ⊆ Γ ′ {\displaystyle {}\Gamma \subseteq \Gamma '} .
