... les traités de mécanique ne distinguent pas bien nettement ce qui est expérience, ce qui est raisonnement mathématique, ce qui est convention, ce… - Henri Poincaré

What I do see is that the sensations which correspond to movements in the same direction are connected in my mind by a mere association of ideas. It is to this association that what we call 'the sense of direction' is reducible. This feeling therefore can not be found in a single sensation

Le savant doit ordonner ; on fait la science avec des faits comme une maison avec des pierres ; mais une accumulation de faits n'est pas plus une science qu'un tas de pierres n'est une maison.

The true geometrician makes this selection judiciously, because he is guided by a sure instinct, or by some vague consciousness of I know not what profounder and more hidden geometry, which alone gives a value to the constructed edifice.
To seek the origin of this instinct, and to study the laws of this profound geometry which can be felt but not expressed, would be a noble task for the philosophers who will not allow that logic is all. But this is not the point of view I wish to take, and this is not the way I wish to state the question. This instinct I have been speaking of is necessary to the discoverer, but it seems at first as if we could do without it for the study of the science once created. Well, what I want to find out is, whether it is true that once the principles of logic are admitted we can, I will not say discover, but demonstrate all mathematical truths without making a fresh appeal to intuition.