Modallogik/Maximal widerspruchsfrei/Nezessisierungsregel/Leerheitsaxiom oder Umkehrung/Aufgabe

Es sei ${}T$ eine maximal widerspruchsfreie modallogische Ausdrucksmenge, die die ${}K$ -Modallogik umfasse und in der die Nezessisierungsregel gelte. Zeige, dass in ${}T$ entweder das Leerheitsaxiom oder das Fatalismusaxiom

gilt.