On G\"odel's second incompleteness theorem
Logic
2009-09-25 v1
Abstract
A very short proof of G\"odel's second incompleteness theorem (for set theory, second order arithmetic etc.)
Cite
@article{arxiv.math/9204207,
title = {On G\"odel's second incompleteness theorem},
author = {Thomas Jech},
journal= {arXiv preprint arXiv:math/9204207},
year = {2009}
}