Peano-Arithmetik/Beweisprädikat/Positive Eigenschaften/Fixpunkt/Widerspruchsaussage/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine korrekte entscheidbare arithmetische Ausdrucksmenge, die die Peano-Arithmetik umfasse. Es sei das Ableitungsprädikat zu und es sei ein Fixpunkt zum negierten Ableitungsprädikat, also

Zeige, dass aus den in Bemerkung angeführten Eigenschaften man

erhalten kann, wobei ein beliebiger Ausdruck ist.
Eine Lösung erstellen