MDLUL/Möglichkeitsaxiom

Start=Möglichkeitsaxiom

MDLUL/Möglichkeitsaxiom

Ziel=Modallogik/Möglichkeitsaxiom/Definition