A note of provability, truth and existence

DOI10.1007/BF00249436zbMath0748.03036OpenAlexW1970297462MaRDI QIDQ1181476

Arnon Avron

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

zbMATH Keywords

consistencyGödel's incompleteness theoremextension of Peano ArithmeticGödel's philosophy of mathematics

Mathematics Subject Classification ID

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