Es sei ${\displaystyle {}\Gamma }$ eine widerspruchsfreie Menge an ${\displaystyle {}S}$-Ausdrücken (über einem Symbolalphabet ${\displaystyle {}S}$).

Dann gibt es eine maximal widerspruchsfreie ${\displaystyle {}S}$-Menge ${\displaystyle {}\Gamma '}$ mit ${\displaystyle {}\Gamma \subseteq \Gamma '}$.