Gödel's second incompleteness theorem

Redirect to:

• Gödel's incompleteness theorems#Second incompleteness theorem