Saying it with numerals

DOI10.1305/NDJFL/1040609300zbMath0809.03002OpenAlexW2084235252MaRDI QIDQ1333314

David Auerbach

Publication date: 29 March 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040609300

zbMATH Keywords

Gödel's second incompleteness theoremmode of presentationsense and referencestandard numerals

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items (3)

SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS ⋮ Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS

This page was built for publication: Saying it with numerals