The axiomatization of arithmetic

DOI10.2307/2964176zbMath0078.00503OpenAlexW2096767730MaRDI QIDQ3243257

Hao Wang

Publication date: 1957

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964176

zbMATH Keywords

PhilosophyFoundationsMathematical Logic

Related Items

Frege and the rigorization of analysis, A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM, Peano's axioms in their historical context, A debate about the axiomatization of arithmetic: Otto Hölder against Robert Graßmann., Towards a Re-Evaluation of Julius König's Contribution to Logic, The unity of logic, pedagogy and foundations in Grassmann's mathematical work, Are induction and well-ordering equivalent?, Geometry and generality in Frege's philosophy of arithmetic.

Cites Work

• Unnamed Item