Peano-Arithmetik/Beweisprädikat/Positive Eigenschaften und Fixpunkt/Gültigkeit in N/Aufgabe
Erscheinungsbild
Es sei eine korrekte entscheidbare arithmetische Ausdrucksmenge, die die Peano-Arithmetik umfasse. Es sei das zugehörige Beweisbarkeitsprädikat und es sei ein Fixpunkt zum negierten Ableitungsprädikat, also
- Welche Eigenschaften aus Bemerkung gelten in ?
- Gilt
in ?
- Welche der Ausdrücke gelten in ?