On formalization of model-theoretic proofs of gödel’s theorems

Makoto Kikuchi, Kazuyuki Tanaka

Research output: Contribution to journalArticlepeer-review

10 Citations (Scopus)


Within a weak subsystem of second-order arithmetic WKL0, that is П02-conservative over PRA, we reformulate Kreisel’s proof of the Second Incompleteness Theorem and Boolos’ proof of the First Incompleteness Theorem.

Original languageEnglish
Pages (from-to)403-412
Number of pages10
JournalNotre Dame Journal of Formal Logic
Issue number3
Publication statusPublished - 1994
Externally publishedYes

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'On formalization of model-theoretic proofs of gödel’s theorems'. Together they form a unique fingerprint.

Cite this