Erster Gödelscher Unvollständigkeitssatz/Aufzählbar und Repräsentierungen/Unvollständig/Arithmetisch/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Erster Gödelscher Unvollständigkeitssatz

Es sei eine arithmetische Ausdrucksmenge, die widerspruchsfrei und aufzählbar sei und Repräsentierungen erlaube.

Dann ist unvollständig.

Es gibt also einen arithmetischen Satz, für den weder noch gilt.

Zum Beweis, Alternativen Beweis erstellen