Arithmetische Ausdrucksmenge/Erlaubt Repräsentierungen/Ableitungsprädikat/Negiert/Fixpunkt/Unableitbar/Fakt
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.