Abstract
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 language | English |
---|---|
Pages (from-to) | 403-412 |
Number of pages | 10 |
Journal | Notre Dame Journal of Formal Logic |
Volume | 35 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1994 |
Externally published | Yes |
ASJC Scopus subject areas
- Logic