Hao Wang The Axiomatization of Arithmetic. 145-158 1957 22 J. Symb. Log. 2 db/journals/jsyml/jsyml22.html#Wang57