Arithmetische Ausdrucksmenge/Erlaubt Repräsentierungen/Ableitungsprädikat/Negiert/Fixpunkt/Unableitbar/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine korrekte aufzählbare arithmetische Ausdrucksmenge, die Repräsentierungen erlaube, es sei das zugehörige (einstellige) Ableitungsprädikat und es sei ein Fixpunkt zum negierten Ableitungsprädikat, also

Dann ist aus nicht ableitbar.

Zum Beweis, Alternativen Beweis erstellen