Beweisbarkeitslogik/Widerspruchsfreiheit als Fixpunkt/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei die durch das Löb-Axiom gegebene -Modallogik, also die Beweisbarkeitslogik. Wir setzen

(als Abkürzung für einen Widerspruch). Zeige, dass

ableitbar ist.
Zur Lösung, Alternative Lösung erstellen