Псевдосферу, которую мы назвали «моделью», Бельтрами назвал интерпретацией (истолкованием) неевклидовой геометрии на плоскости. Впоследствии, с развитием и введением в математику аксиоматического метода, под интерпретацией (или моделью) некоторой системы аксиом стали понимать любое множество объектов, в которых данная система аксиом находит свое реальное воплощение, то есть, любая совокупность объектов, отношение между которыми полностью совпадают с теми, которые описываются в данной системе аксиом. При этом полагают, что если для некоторой системы аксиом существует или можно построить интерпретацию (модель), то эта система аксиом непротиворечива, то есть, не только сами аксиомы, но и любые теоремы, на них логически основывающиеся никогда не могут противоречить одна другой.

Итак, доказательство логической непротиворечивости той или иной геометрии, можно свести к доказательству существования модели соответствующей системы аксиом.

Первой моделью планиметрии Лобачевского была интерпретация Бельтрами в 1868г., к которой позже, но из других соображений и в ином виде, пришел в 1870г. немецкий математик Феликс Клейн. Идею этой интерпретации можно усмотреть в приведенном выше рис.4. В качестве плоскости Лобачевского, коротко «плоскость L», принимается внутренность некоторого круга (исключается таким образом его контур) на обычной евклидовой плоскости. Прямыми L служат хорды круга, исключая, конечно, их концы. Принадлежность и между понимаются в обычном евклидовом смысле. Оказывается, что в этой модели имеют место все аксиомы абсолютной геометрии, то есть, аксиомы принадлежности, порядка, конгруэнтности, непрерывности. Что же касается аксиомы параллельности, то в этой модели имеет место не постулат Евклида, а именно, аксиома Лобачевского: через т. С, не лежащую на данной прямой (хорде) АВ, можно провести хотя бы 2 прямые (хорды), не пересекающие данную. Выполняются, конечно, так же все следствия аксиомы. Так, например, среди проходящих через данную точку расходящихся прямых L, имеются две предельные CL и CM, параллельные к АВ в смысле Лобачевского, так как разделяют класс расходящихся с АВ прямых от класса сходящихся. Сами параллельные не имеют с АВЫ общих точек, поскольку точки А и В, лежащие на окружности, исключены.

Аналогично строится модель Клейна геометрии Лобачевского в пространстве, принимая внутренность какого-либо шара за пространство L.

Таким образом, была показана непротиворечивость геометрии Лобачевского. Ее аксиомы и теоремы не могут быть противоречивыми, так как каждой из них соответствует факт евклидовой геометрии внутри круга (или внутри шара). Если в геометрии Лобачевского встретились бы две противоречащие друг другу теоремы, то, переводя эти теоремы на язык обычной геометрии посредством модели Клейна, мы получили бы противоречие между соответствующими теоремами в геометрии Евклида, то есть, построением модели, Клейн показал, что геометрия Лобачевского непротиворечива в такой же мере, в какой непротиворечива геометрия Евклида.

Другую модель геометрии Лобачевского построил в 1882г. французский математик Анри Пуанкаре (1854-1912), применивший ее к решению некоторых важных задач теории функций комплексного переменного.