Sur la "langue symbolique universelle", il faudrait clairement distinguer l'intention (plutôt  que le rêve) d'Hérigone, et ce qu'imaginent Descartes et surtout Leibniz qui est d'une autre ambition. Peut_être peuton dire en conclusion du paragraphe sur Peano que les ouvrages que j'ai cité (Kennedy, GrattanGuiness) ne disent mot d'Hérigone, ce qui déjà éviterait de fausses interprétations (et ne plus  mentionner Frege, car, d'après ce que j'ai lu, Hérigone n'a jamais émis l'idée d'axiomatiser la logique, Zermelo car l'axiomatisation de la théorie des ensembles n'a pas grand chose à voir) ?