Realizó múltiples aportes a la matemática, y uno de los más importantes fue la postulación de los axiomas de la Aritmética Formal.
Realizó múltiples aportes a la matemática, y uno de los más importantes fue la postulación de los axiomas de la Aritmética Formal.