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.