MDLUL/paradox (Modallogik)

Start=paradox (Modallogik)

MDLUL/paradox (Modallogik)

Ziel=Modallogik/Paradoxe Aussage/Definition