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

Aus Wikiversity
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.