Es sei ${\displaystyle {}S}$ ein Symbolalphabet und ${\displaystyle {}\Gamma }$ eine Menge an ${\displaystyle {}S}$-Ausdrücken. Es sei jede endliche Teilmenge ${\displaystyle {}\Gamma _{e}\subseteq \Gamma }$ erfüllbar.

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