Peano-Arithmetik/Beweisprädikat/Positive Eigenschaften und Fixpunkt/Unvollständigkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine korrekte entscheidbare arithmetische Ausdrucksmenge, die die Peano-Arithmetik umfasse. Es sei das zugehörige Ableitungsprädikat. Zeige aus den in Bemerkung aufgeführten Eigenschaften für einen Fixpunkt mit

dass weder noch gilt.
Eine Lösung erstellen