Es sei Γ {\displaystyle {}\Gamma } eine modallogische Ausdrucksmenge, die aussagenlogisch widerspruchsfrei sei.
Dann gibt es eine maximal widerspruchsfreie Ausdrucksmenge Γ ⊆ Γ ~ {\displaystyle {}\Gamma \subseteq {\tilde {\Gamma }}} .
