Beweisbarkeitslogik/Antiableitungsfixpunkt/Keine Vervollständigung mit Nezessisierungsregel/Aufgabe

Wir setzen

Es sei eine -Modallogik, in der

ableitbar ist. Zeige, dass es keine widerspruchsfreie Erweiterung

gibt, die aussagenlogisch und unter der Nezessierungsregel abgeschlossen ist.