Se convirtió en un experto del nuevo simbolismo de Peano y su conjunto de axiomas para la aritmética.