What Does Gödel's Second Theorem Say†

DOI10.1093/PHILMAT/9.1.37zbMath0995.03003OpenAlexW2156443273MaRDI QIDQ5890415

Michael E. Detlefsen

Publication date: 7 October 2002

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/9.1.37

zbMATH Keywords

Gödel's second incompleteness theoremderivability conditions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS ⋮ UNIVERSISM AND EXTENSIONS OF V

This page was built for publication: What Does Gödel's Second Theorem Say†