@article{10.2307/2964176,
    Author = {Wang, Hao},
    File = {The Axiomatization of Arithmetic - wang1957 - a - p.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Number = {2},
    Pages = {145--158},
    Publisher = {Association for Symbolic Logic},
    Title = {The Axiomatization of Arithmetic},
    URL = {http://www.jstor.org/stable/2964176},
    Volume = {22},
    Year = {1957},
    bdsk-url-1 = {http://www.jstor.org/stable/2964176},
    date-added = {2020-06-05 11:19:10 +0200},
    date-modified = {2020-06-05 11:19:10 +0200},
    doi = {10.2307/2964176}
}

@article{10.2307/2964176, Author = {Wang, Hao}, File = {The Axiomatization of Arithmetic - wang1957 - a - p.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Number = {2}, Pages = {145--158}, Publisher = {Association for Symbolic Logic}, Title = {The Axiomatization of Arithmetic}, URL = {http://www.jstor.org/stable/2964176}, Volume = {22}, Year = {1957}, bdsk-url-1 = {http://www.jstor.org/stable/2964176}, date-added = {2020-06-05 11:19:10 +0200}, date-modified = {2020-06-05 11:19:10 +0200}, doi = {10.2307/2964176} }