In 1881 he set out the axiomatization of natural number arithmetic, a few years before Richard Dedekind and Giuseppe Peano.
Το 1881 ξεκίνησε να εργάζεται σε αξιώματα της αριθμητικής φυσικών αριθμών, λίγα χρόνια πριν τους Ρίτσαρντ Ντέντεκιντ and Τζουζέπε Πεάνο.