Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



On Gödel's second incompleteness theorem

Author: Thomas Jech
Journal: Proc. Amer. Math. Soc. 121 (1994), 311-313
MSC: Primary 03B10; Secondary 03C62, 03F25
MathSciNet review: 1191869
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In this note we give a short proof of Gödel's Second Incompleteness Theorem.

References [Enhancements On Off] (What's this?)

  • [1] Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. Math. Phys. 38 (1931), no. 1, 173–198 (German). MR 1549910, 10.1007/BF01700692
  • [2] Gaisi Takeuti, Proof theory, 2nd ed., Studies in Logic and the Foundations of Mathematics, vol. 81, North-Holland Publishing Co., Amsterdam, 1987. With an appendix containing contributions by Georg Kreisel, Wolfram Pohlers, Stephen G. Simpson and Solomon Feferman. MR 882549
  • [3] P. Vopěnka, A new proof of the Gödel’s result on non-provability of consistency, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 14 (1966), 111–116 (English, with Russian summary). MR 0207546

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03B10, 03C62, 03F25

Retrieve articles in all journals with MSC: 03B10, 03C62, 03F25

Additional Information

Article copyright: © Copyright 1994 American Mathematical Society