Es sei Γ {\displaystyle {}\Gamma } eine Menge von S {\displaystyle {}S} -Ausdrücken, die über beliebig großen endlichen Grundmengen erfüllbar ist. Zeige, dass Γ {\displaystyle {}\Gamma } auch über einer unendlichen Menge erfüllbar ist.
