Histoire des sciences
Les Grecs sont considérés comme les fondateurs des mathématiques car ils ont inventé ce qui en fait l'essence même : la démonstration. Thalès est parfois considéré comme le premier philosophe qui a eu l'idée de raisonner sur les êtres mathématiques en eux-mêmes, sans plus s'aider de figures empiriques. L'arrivée de la preuve mathématique est certainement liée à l'installation de la démocratie et à la nécessité de démontrer la véracité de son discours, mais c'est avec Euclide qu'elle apparaît comme une composante intrinsèque de la pensée mathématique. On notera aussi que les mathématiques grecques font avant tout de la géométrie et de l'arithmétique ; sur les treize livres des "Éléments" d'Euclide, qui constituent une somme des connaissances mathématiques du , neuf sont consacrés à la géométrie et quatre à l'arithmétique.
Formulaire de mathématiques
Le Formulaire de mathématiques est une œuvre dirigée par Giuseppe Peano, et rédigée par celui-ci et ses collaborateurs, parmi ceux-ci , , Alessandro Padoa, Giovanni Vacca, Gino Fano, Cesare Burali-Forti, etc. Elle vise à exprimer de façon organisée les principales théories mathématiques dans la langue symbolique introduite par Peano à partir de 1888. La publication du "Formulaire de mathématiques" connut cinq éditions (avec des refontes et des enrichissements importants de l'une à l'autre) de 1895 à 1908. Une majeure partie du "Formulaire" est écrite en langue symbolique. Les textes d'accompagnement des quatre premières éditions sont en français. La cinquième et dernière a été publiée sous le nom de "Formulario mathematico en latino sine flexione", le latin simplifié inventé par Peano pour servir de langue auxiliaire internationale.