Logic remains barren, unless it is fertilized by intuition. - Henri Poincaré

The geometric language is after all only a language. Space is only a word that we have believed a thing.

This procedure is the demonstration by recurrence. We first establish a theorem for n = 1; then we show that if it is true of n - 1, it is true of n, and thence conclude that it is true for all the whole numbers. ..Here then we have the mathematical reasoning par excellence, and we must examine it more closely.
...The essential characteristic of reasoning by recurrence is that it contains, condensed, so to speak, in a single formula, an infinity of syllogisms.
...to arrive at the smallest theorem [we] can not dispense with the aid of reasoning by recurrence, for this is an instrument which enables us to pass from the finite to the infinite.
This instrument is always useful, for, allowing us to overleap at a bound as many stages as we wish, it spares us verifications, long, irksome and monotonous, which would quickly become impracticable. But it becomes indispensable as soon as we aim at the general theorem...
In this domain of arithmetic,.. the mathematical infinite already plays a preponderant rôle, and without it there would be no science, because there would be nothing general.

If... it be supposed that another way of measuring time is adopted... enunciation of the law would be... translated into another language... much less simple. So that the definition implicitly adopted by the astronomers may be summed up..: Time should be so defined that the equations of mechanics may be as simple as possible... [i.e.,] there is not one way of measuring time more true... only more convenient.