Zum Inhalt springen

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

Aus Wikiversity
Unvollständigkeitslemma

Es sei eine widerspruchsfreie, arithmetische Ausdrucksmenge, die Repräsentierungen erlaube. Die Ableitungsmenge (also die Menge der zugehörigen Gödelnummern) sei schwach repräsentierbar in .

Dann gibt es einen arithmetischen Satz derart, dass weder noch seine Negation aus ableitbar ist.

Die Ableitungsmenge ist also nicht vollständig.