En 1889, Giuseppe Peano publicó la primera versión de la axiomatización lógica de la aritmética.