C'est une remarque d'autant plus pertinente qu'il y a pas mal de cas où les chercheurs ont effectivement inventé les outils mathématiques dont ils avaient besoin pour formaliser leurs théories : comme Heisenberg pour sa mécanique matricielle, ou comme Gödel pour son théorème d'incomplétude.