Más que ningún otro trabajo, estableció la especialidad de la lógica matemática o simbólica.