The priority of arithmetical truth over arithmetical provability

DOI10.1023/A:1014832431804zbMath1025.03005OpenAlexW4256529628MaRDI QIDQ1607593

Enrico Martino

Publication date: 26 November 2003

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014832431804

zbMATH Keywords

provabilityphilosophy of mathematicstruth of a mathematical proposition

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

This page was built for publication: The priority of arithmetical truth over arithmetical provability