MDLUL/Leerheitsaxiom (Modallogik)

Start=Leerheitsaxiom (Modallogik)

MDLUL/Leerheitsaxiom (Modallogik)

Ziel=Modallogik/Leerheitsaxiom/Definition