Es sei Γ {\displaystyle {}\Gamma } eine modallogische Ausdrucksmenge und α {\displaystyle {}\alpha } ein modallogischer Ausdruck. Es sei Γ ⊨ α {\displaystyle {}\Gamma \vDash \alpha } . Zeige, dass es eine endliche Teilmenge Γ e ⊆ Γ {\displaystyle {}\Gamma _{e}\subseteq \Gamma } mit Γ e ⊨ α {\displaystyle {}\Gamma _{e}\vDash \alpha } gibt.
