1667~1733 이탈리아의 수학자·예수회 신부. 비유클리드 기하학을 형성한 선구자이다.

그는 저서《증명의 논리학(Logica demonstrativa)》(1697)에서 자신의 추론법(推論法)을 정립한 후《모든 결점을 제거한 유클리드 원론(Euclides ab omninaevo vindicatus)》(1733)에서 당시의 난문제였던「유클리드의 평행선 공준의 증명」에 착수했다.

그는 삼각형에서 내각의 합이 ① 2직각 ② 2직각보다 작다 ③ 2직각보다 크다고 하면, 모든 삼각형에서 각각 대응하여 ①, ②, ③이 성립되는 것을 증명했는데, 그의 논리로는 이에 반하여 ②, ③의 경우를 부정할 수 없어, 여기에서 비유클리드 기하학으로의 발전 중도단계(中途段階)를 명백히 볼 수 있다.