The role of the axiom of induction in elementary arithmetic
Tom 39 / 1952
Fundamenta Mathematicae 39 (1952), 239-263
DOI: 10.4064/fm-39-1-239-263