Abstract
AbstractWe 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have