Es sei T {\displaystyle {}T} eine maximal widerspruchsfreie modallogische Ausdrucksmenge. Zeige, dass T {\displaystyle {}T} vollständig ist, dass also für jedes α ∈ L {\displaystyle {}\alpha \in L} die Alternative „Entweder α ∈ T {\displaystyle {}\alpha \in T} oder ¬ α ∈ T {\displaystyle {}\neg \alpha \in T} “ gilt.