MDLUL/Möglichkeitsaxiom (Modallogik)

Start=Möglichkeitsaxiom (Modallogik)

MDLUL/Möglichkeitsaxiom (Modallogik)

Ziel=Modallogik/Möglichkeitsaxiom/Definition