Bernays and the Completeness Theorem

DOI10.4288/JAFPOS.25.0_45zbMath1506.03060OpenAlexW2592890879MaRDI QIDQ5881257

Walter Dean

Publication date: 9 March 2023

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos.25.0_45

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35) Gödel numberings and issues of incompleteness (03F40)

Related Items (1)

INCOMPLETENESS VIA PARADOX AND COMPLETENESS

This page was built for publication: Bernays and the Completeness Theorem