Modallogik/K/Löb-Axiom/Paradox/Aufgabe