On n'a pas, je pense, tiré de l'axiomatique hilbertienne la leçon qui
s'en dégage, c'est celle-ci : on n'accède à la rigueur absolue qu'en
éliminant la signification [...]. Mais s'il faut choisir entre rigueur
et sens, je choisirai sans hésitation le sens.
— Réne Thom