Euh j'aime bien ta définition, pour la canonicité on pourrait dire aussi que si quelque chose est inventé indépendamment par plusieurs personnes à plusieurs endroits/époques différents ça a des chances d'être un peu canonique...

mais sinon j'aurais probablement dit que si tu définis, tu inventes, et si tu démontres, tu découvres. Par conséquent les maths c'est les deux, tu inventes des théories qui te permettent de découvrir des résultats ?

bon sinon j'étais en train de lire wikipedia à propos des gammes tempérées (ou non) et est-ce que toutes ces gammes sont des inventions ou des découvertes ? en fait j'ai l'impression que ce sont dans un premier temps des découvertes parce que maintenant qu'on connaît toute la théorie ça semble évident et naturel (mais est-ce qu'il n'y a pas des présupposés non-évidents qu'on ne voit pas ?) ; mais après ça, les tempéraments inégaux sont peut-être davantage des inventions (dans la mesure où c'est pas une construction mathématique simple à laquelle tu penses immédiatement dès que tu as compris le problème)