Modallogik/Ableitung/Notwendigkeitsversion/Fakt/Beweis

Beweis

Die Ableitbarkeit bedeutet, dass es Ausdrücke mit

gibt. Nach Fakt  (1) ist

Aus Fakt  (4) folgt durch Induktion sofort

und somit mit dem Kettenschluss

Dies bedeutet