Es sei Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge V {\displaystyle {}V} und α ∈ L V {\displaystyle {}\alpha \in L^{V}} . Es gelte Γ ⊢ α {\displaystyle {}\Gamma \vdash \alpha } . Zeige, dass es dann auch eine endliche Teilmenge Δ ⊆ Γ {\displaystyle {}\Delta \subseteq \Gamma }
gibt.