Media type: E-Article Title: A simpler proof and a refining of Gödel's second incompleteness theorem Contributor: Deutsch, Michael [Author] imprint: Universität Bremen; Fachbereich 03: Mathematik/Informatik (FB 03), 2007 Language: German Keywords: Gödel ; Unvollständigkeitstheorem ; Gödelscher Unvollständigkeitssatz ; Gödel's second incompleteness theorem Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: Bremen Access State: Open Access