Una vez fijados los principios axiomáticos de la lógica, acometió la tarea de edificar la aritmética sobre la base de aquella.