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