Junto con otros matemáticos como Georg Klügel y Johann Heinrich Lambert se le reconoce por haber explorado la idea de sustituir el quinto postulado expuesto en la obra de Euclides "Los Elementos".