Modallogik/T und Transitivitätsaxiom/Antifixpunkt/Widerspruchsfreiheit impliziert Unableitbarkeit/Aufgabe/Lösung


Aus der Fixpunkteigenschaft

ergibt sich insbesondere

Mit Fakt  (1) folgt

Mit dem Transitivitätsaxiom und dem Kettenschluss folgt

Dies zusammen mit der Tautologie

ergibt

Mit Fakt  (4) haben wir

und somit

Für ein beliebiges ist nun

und somit durch Fakt  (1)

und insgesamt

was durch Kontraposition die Behauptung ergibt.