The optimality of induction as an axiomatization of arithmetic
scientific article