A note of provability, truth and existence
From MaRDI portal
Publication:1181476
DOI10.1007/BF00249436zbMath0748.03036OpenAlexW1970297462MaRDI QIDQ1181476
Publication date: 27 June 1992
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00249436
consistencyGödel's incompleteness theoremextension of Peano ArithmeticGödel's philosophy of mathematics
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Related Items (2)
On partial disjunction properties of theories containing Peano arithmetic ⋮ GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS
This page was built for publication: A note of provability, truth and existence