He was the first to prove consistency of non-Euclidean geometry by modeling it on a surface of constant curvature, the pseudosphere, and in the interior of an "n"-dimensional unit sphere, the so-called Beltrami–Klein model.