Eine widersprüchsfreie Ausdrucksmenge Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} in einer aussagenlogischen Sprache.
