A simpler proof and a refining of Gödel's second incompleteness theorem

Deutsch, MichaelMichaelDeutsch2020-03-252020-03-252007https://media.suub.uni-bremen.de/handle/elib/36976deinfo:eu-repo/semantics/openAccessGödelUnvollständigkeitstheoremGödelscher UnvollständigkeitssatzGödel's second incompleteness theorem510A simpler proof and a refining of Gödel's second incompleteness theoremArtikel/Aufsatzurn:nbn:de:gbv:46-ep000101386