Su mayor contribución al análisis matemático es el intento de fundamentar el álgebra con unas bases estrictamente lógicas.