Korollar

Dieses Korollar des zweiten Unvollständigkeitssatzes zeigt, dass es nicht möglich ist, etwa die Konsistenz der Peano-Arithmetik mit finiten Mitteln zu formalisieren, die sich in einer schwächeren Theorie formalisieren lässt, deren Konsistenz die Peano-Arithmetik beweisen kann.

This corollary of the second incompleteness theorem shows that there is no hope of proving, for example, the consistency of Peano arithmetic using any finitistic means that can be formalized in a theory the consistency of which is provable in Peano arithmetic.