Es sei S {\displaystyle {}S} ein Symbolalphabet, Γ {\displaystyle {}\Gamma } eine Menge an S {\displaystyle {}S} -Ausdrücken und α {\displaystyle {}\alpha } ein weiterer S {\displaystyle {}S} -Ausdruck.
Dann gilt Γ ⊨ α {\displaystyle {}\Gamma \vDash \alpha } genau dann, wenn es eine endliche Teilmenge Γ e ⊆ Γ {\displaystyle {}\Gamma _{e}\subseteq \Gamma } gibt mit Γ e ⊨ α {\displaystyle {}\Gamma _{e}\vDash \alpha } .
