Löb-Axiom/Möglichkeitsaxiom/Widerspruch/Aufgabe
Zeige, dass eine -Modallogik, in der das Möglichkeitsaxiom und das Löb-Axiom gelten, bereits widersprüchlich ist.
Zeige, dass eine
-Modallogik,
in der das
Möglichkeitsaxiom
und das
Löb-Axiom
gelten, bereits widersprüchlich ist.