"M. Poincaré finds the answer to these questions in the so-called 'mathematical induction' which proceeds from the particular to the more general, but at the same time does so by steps of the highest degree of certitude. In this process he sees the creative force of mathematics, which leads to real proofs and not mere sterile verifications. The illustrations used to make the thought clear are taken from the beginnings of arithmetic, where mathematical thought has remained least elaborated and uncomplicated by the difficult questions related to the notion of space. In successive instances it is shown how more general results are obtained from fundamental definitions and from previous results by means of mathematical induction. In each case the advance is made by virtue of that "power of the mind which knows that it can conceive of the indefinite repetition of the same act as soon as this act is at all possible. The mind has a direct intuition of this power and experience gives only the opportunity to use it and to become conscious of it." The conviction that the method of mathematical induction is valid our author regards as truly an à priori synthetic judgment; the mind can not tolerate nor conceive its contradictory and could not even draw any theoretic consequences from the assumption of the contradictory. No arithmetic could be built up, rejecting the axiom of mathematical induction, as the non-Euclidean geometries have been built up, rejecting the postulate of Euclid."
January 1, 1970
https://en.wikiquote.org/wiki/Mathematical_induction