Jugó un papel central en la axiomatización de las matemáticas y fue pionero en el desarrollo de la lógica matemática.