Eine maximal widerspruchsfreie prädikatenlogische Ausdrucksmenge Γ ⊆ L S {\displaystyle {}\Gamma \subseteq L^{S}} .
