Start=Löb-Axiom

MDLUL/Löb-Axiom

Ziel=Modallogik/Löb-Axiom/Definition