Logicien et mathématicien italien (Cuneo 1858 - Turin 1932).
Son Formulaire de mathématique (1895-1908), qui utilise un langage formalisé, est un exposé axiomatique et déductif de l'arithmétique, de la géométrie projective, de la théorie générale des ensembles, du calcul infinitésimal et du calcul vectoriel.
