Gödel’s Incompleteness Theorems
摘要
Gödel’s Incompleteness Theorems are proved. We show that the sets definable in the natural numbers are exactly the arithmetic sets. The Arithmetized Completeness Theorem is used to give an alternative proof of the Second Incompleteness Theorem.