Je ne sais si je n’ai déjà dit quelque part que la Mathématique est l’art de donner le même nom à des choses différentes. - Henri Poincaré

We see that experience plays an indispensable role in the genesis of geometry; but it would be an error thence to conclude that geometry is, even in part, an experimental science. If it were experimental it would be only approximative and provisional. And what rough approximation!
...The object of geometry is the study of a particular 'group'; but the general group concept pre-exists... in our minds. It is imposed on us, not as form of our sense, but as form of our understanding. Only, from among all the possible groups, that must be chosen... will be... the standard to which we shall refer natural phenomena.
Experience guides us in this choice without forcing it upon us; it tells us not which is the truest geometry, but which is the most convenient.
Notice that I have been able to describe the fantastic worlds... imagined without ceasing to employ the language of ordinary geometry.

The axioms of geometry therefore are neither synthetic a priori judgments nor experimental facts.

"The philosophers make still another objection: "What you gain in rigour," they say, "you lose in objectivity. You can rise toward your logical ideal only by cutting the bonds which attach you to reality. Your science is infallible, but it can only remain so by imprisoning itself in an ivory tower and renouncing all relation with the external world. From this seclusion it must go out when it would attempt the slightest application.