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