On Gödel's second incompleteness theorem
arXiv:math/9204207
Abstract
A very short proof of Gödel's second incompleteness theorem (for set theory, second order arithmetic etc.)
arXiv:math/9204207
A very short proof of Gödel's second incompleteness theorem (for set theory, second order arithmetic etc.)