MDLUL/euklidisches Axiom (Modallogik)

Start=euklidisches Axiom (Modallogik)

MDLUL/euklidisches Axiom (Modallogik)

Ziel=Modallogik/Euklidisches Axiom/Definition