The axiomatization of arithmetic
The work
| Title | The axiomatization of arithmetic |
|---|---|
| Authors | Hao Wang |
| Type | article |
| Year | 1957 |
| Citekey | wang1957axiomatization |
Where it appeared
| Published in | The Journal of Symbolic Logic |
|---|---|
| Volume | 22 |
| Issue | 2 |
| Pages | 145--158 |
Identifiers
| DOI | 10.2307/2964176 |
|---|
Copy held
| Kind | PDF, 588.9 kB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
| Opens at | page 2 |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
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.