Modallogik/Maximal widerspruchsfrei/Paradox/Nicht Nezessisierungsregel/Aufgabe

Es sei ${}T$ eine maximal widerspruchsfreie modallogische Ausdrucksmenge, die die ${}K$ -Modallogik umfasse und in der es einen paradoxen

Ausdruck gebe. Zeige, dass

{}T

nicht unter der Nezessisierungsregel abgeschlossen ist.