Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt/Beweis

Beweis

Aus der Repräsentierbarkeit von folgt, dass es einen arithmetischen Ausdruck in einer freien Variablen gibt, sagen wir , mit der Eigenschaft, dass

genau dann gilt, wenn

gilt. Wir betrachten die Negation . Nach Fakt gibt es für einen Fixpunkt, also einen Satz mit

bzw.

Sowohl aus als auch aus ergibt sich dann direkt ein ableitbarer Widerspruch, was der Widerspruchsfreiheit des Systems widerspricht.