Shianghaw Wang A System of Completely Independent Axioms for the Sequence of Natural Numbers. 41-44 1943 8 J. Symb. Log. 1 db/journals/jsyml/jsyml8.html#Wang43