贝尔特拉米
In 1868, Eugenio Beltrami provided models (see below) of hyperbolic geometry, and used this to prove that hyperbolic geometry was consistent if and only if Euclidean geometry was.