TY  - RPRT
TI  - On Gödel's second incompleteness theorem
AU  - Thomas Jech
PY  - 1992
UR  - https://arxiv.org/abs/math/9204207
ID  - math/9204207
ER  -