Fue uno de los primeros matemáticos que aplicó un tratamiento crítico a los postulados fundamentales de la geometría euclidiana.