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

Es sei ${}\Gamma \subseteq L^{\rm {Ar}}$ eine arithmetische Ausdrucksmenge, die widerspruchsfrei und aufzählbar sei und Repräsentierungen erlaube. Dann ist ${}\Gamma ^{\vdash }$ unvollständig.