Pure analysis puts at our disposal a multitude of procedures whose infallibility it guarantees; it opens to us a thousand different ways on which we … - Henri Poincaré

Le but principal de l'enseignement mathématique est de développer certaines facultés de l'esprit et parmi elles l'intuition n'est pas la moins précieuse. C'est par elle que le monde mathématique reste en contact avec le monde réel et quand les mathématiques pures pourraient s'en passer, il faudrait toujours y avoir recours pour combler l'abîme qui sépare le symbole de la réalité.

A demonstration really based upon the principles of Analytical Logic will be composed of a succession of propositions ; some, which will serve as premises, will be identities or definitions ; others will be deduced from the former step by step ; but although the connexion between each proposition and the succeeding proposition can be grasped immediately, it is not obvious at a glance how it has been possible to pass from the first to the last, which we may be tempted to look upon as a new truth. But if we replace successively the various expressions that are used by their definitions, and if we pursue this operation to the furthest possible limit, there will be nothing left at the end but identities, so that all will be reduced to one immense tautology. Logic therefore remains barren, unless it is fertilized by intuition.

Since several geometries are possible, is it certain ours is the true one?