Other Proofs of Old Results
Henryk Kotlarski · Mathematical logic quarterly · 1998
Abstract We transform the proof of the second incompleteness theorem given in [3] to a proof‐theoretic version, avoiding the use of the arithmetized completeness theorem. We give also new proofs of old results: The Arithmetical Hierarchy Theorem and Tarski's Theorem on undefinability of truth; the proofs in which the construction of a sentence by means of diagonalization lemma is not needed.