K-Modallogik/Beweisbarkeitslogik/Transitiv/Fakt/Beweis

Beweis

Wir wenden das Löb-Axiom auf den Ausdruck an und erhalten ( steht für dieses modallogische System)

Wegen Fakt  (3) ist

und

Wegen der zuletzt angeführten Ableitung erhält man

und daraus mit Fakt  (1) auch

Ein zweifacher Kettenschluss liefert