“The term "induction" had been used by John Wallis in 1656, in his Arithmetica infinitorum; he used the induction known to natural science. In 1686 Jacob Bernoulli criticised him for using a process which was not binding logically and then advanced in place of it the proof from n to n + 1. This is one of the several origins of the process of mathematical induction.”