K-Modallogik/Beweisbarkeitslogik/Transitiv/Fakt

In einem modallogischen ${}K$-System, in dem das Löb-Axiom gilt,

gilt auch das Transitivitätsaxiom.

Zum Beweis, Alternativen Beweis erstellen