Abstract
Within a weak subsystem of second-order arithmetic $WKL_{0}$, that is $\Pi^0_2$-conservative over $PRA$, we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.
Citation
Makoto Kikuchi. Kazuyuki Tanaka. "On Formalization of Model-Theoretic Proofs of Gödel's Theorems." Notre Dame J. Formal Logic 35 (3) 403 - 412, /Summer 1994. https://doi.org/10.1305/ndjfl/1040511346
Information
