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

Es sei ${}\Gamma$ eine korrekte aufzählbare arithmetische Ausdrucksmenge, die Repräsentierungen erlaube, es sei ${}\alpha (x)$ das zugehörige (einstellige) Ableitungsprädikat und es sei ${}q$ ein Fixpunkt zum negierten Ableitungsprädikat, also

$\Gamma \vdash q\leftrightarrow \neg \alpha (GN(q)).$

Dann ist ${}q$ aus ${}\Gamma$ nicht ableitbar.

Zum Beweis, Alternativen Beweis erstellen