Remarks on the Comparison of Axiom Systems

DOI10.1073/PNAS.36.8.448zbMATH Open0037.29601OpenAlexW1975496557WikidataQ33710786 ScholiaQ33710786MaRDI QIDQ5796044FDOQ5796044

Authors: Hao Wang 

Publication date: 1950

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.36.8.448

zbMATH Keywords

Philosophy and foundations of mathematics

Cited In (3)

• Translations and structure for partial propositional calculi
• Truth Definitions and Consistency Proofs
• Some formal relative consistency proofs

This page was built for publication: Remarks on the Comparison of Axiom Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5796044)