Start=Löb-Axioms

MDLUL/Löb-Axioms

Siehe=Löb-Axiom
MDLUL/Löb-Axiom
Ziel=Modallogik/Löb-Axiom/Definition