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

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.