The axiomatization of arithmetic

The work

AuthorsHao Wang
Editors
Typearticle
Year1957
Citekeywang1957axiomatization

Where it appeared

Published inThe Journal of Symbolic Logic
Volume22
Issue2
Pages145--158

Identifiers

DOI10.2307/2964176

Settled

AbstractEstablished by reading and recorded in a note on this record, but never written into the field, so the queue went on asking. The note says: "No abstract, read from leaf 2." This settle puts that finding where the queue can see it.

A copy is held

pdf, 575.1 kB. Not published — it may be under copyright. The facts and links here are.

How it got here

How it got hereimport via bibtex
Added2026-08-04 00:00 UTC
Approved bya person 2026-08-07 14:44 UTC

Filed under

jsl models-of-arithmetic pac-non-peano the-axioms-before-peano

Cite it as

@article{wang1957axiomatization,
  title        = {The axiomatization of arithmetic},
  author       = {Hao Wang},
  year         = {1957},
  journal      = {The Journal of Symbolic Logic},
  volume       = {22},
  number       = {2},
  pages        = {145--158},
  doi          = {10.2307/2964176},
}

This record lives at https://refs.drheap.org/wang1957axiomatization/ and will keep doing so.