MDLUL/Löb-Axiom (Modallogik)

Start=Löb-Axiom (Modallogik)

MDLUL/Löb-Axiom (Modallogik)

Ziel=Modallogik/Löb-Axiom/Definition