Es sei Γ ⊆ L S {\displaystyle {}\Gamma \subseteq L^{S}} eine Ausdrucksmenge, die über beliebig großen endlichen Grundmengen erfüllbar ist. Zeige, dass Γ {\displaystyle {}\Gamma } auch über einer unendlichen Menge erfüllbar ist.