Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt
Erscheinungsbild
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.