Modallogik/K/System/Widerspruchsfrei/Auffüllung/Fakt

Es sei ${}\Gamma$ eine modallogische Ausdrucksmenge, die aussagenlogisch widerspruchsfrei sei.

Dann gibt es eine maximal widerspruchsfreie Ausdrucksmenge ${}\Gamma \subseteq {\tilde {\Gamma }}$ .