Des contributions thématiques sur G. Peano dont les axiomes de l'arithmétique sont souvent cités dans les écrits sur l'axiomatique moderne et dont le formulaire est présenté régulièrement comme le précurseur des Principia Mathematica de Russel. Avec un extrait inédit des cahiers de mathématiques de Gödel contenant un résumé des Arithmetices Principia de Peano.