Геоме́трия — раздел математики, изучающий пространственные структуры и отношения, а также их обобщения. В практических задачах геометрия позволяет предсказывать геометрические размеры тела, зная другие геометрические размеры этого тела с помощью известных геометрических законов.
Аксио́ма, или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Стереографи́ческая проекция — отображение определённого типа из сферы с одной выколотой точкой на плоскость.
Эудже́нио Бельтра́ми — итальянский математик, ученик Франческо Бриоски. Член Национальной Академии деи Линчеи, Туринской и Болонской академий наук, член-корреспондент множества иностранных академий. За поддержку и развитие идей Н. И. Лобачевского получил звание почётного доктора Казанского университета.
Геометрия Лобачевского — одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных аксиомах, что и обычная евклидова геометрия, за исключением аксиомы о параллельных прямых, которая заменяется её отрицанием.
Проективная геометрия — раздел геометрии, изучающий проективные плоскости и пространства. Главная особенность проективной геометрии состоит в принципе двойственности, который прибавляет изящную симметрию во многие конструкции.
Аксио́ма паралле́льности Евкли́да, или пя́тый постула́т, — одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах» Евклида:
И если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие двух прямых, то продолженные неограниченно эти прямые встретятся с той стороны, где углы меньше двух прямых.
Неархимедова геометрия — совокупность геометрических предложений, вытекающих из систематических групп аксиом: инцидентности, порядка, конгруэнтности и параллельности системы аксиоматики Гильберта евклидовой геометрии, и не связанных с аксиомами непрерывности . В узком смысле неархимедова геометрия описывает геометрические свойства прямой, на которой не верна аксиома Архимеда . Для исследования геометрических соотношений в неархимедовой геометрии вводится исчисление отрезков — неархимедова числовая система, рассматриваемая как специальная комплексная числовая система. Определяются понятия отрезка, отношения отрезков, сложение и умножение отрезков. В частности, вводится дезаргова числовая система — неархимедова система, в которой умножение отрезков некоммутативно. С помощью этих числовых систем в неархимедовой геометрии строится теория подобия фигур, теория площадей и т. д.
Неевкли́дова геоме́трия — в буквальном понимании — любая геометрическая система, которая отличается от геометрии Евклида; однако традиционно термин «неевклидова геометрия» применяется в более узком смысле и относится только к двум геометрическим системам: геометрии Лобачевского и сферической геометрии.
Геометрия Римана — одна из неевклидовых геометрий постоянной кривизны. Если геометрия Евклида реализуется в пространстве с нулевой гауссовой кривизной, Лобачевского — с отрицательной, то геометрия Римана реализуется в пространстве с постоянной положительной кривизной.
Паралле́льные прямы́е в планиметрии — непересекающиеся прямые. В стереометрии две прямые называются параллельными, если лежат в одной плоскости и не пересекаются.
Перспектива в геометрии — способ изображения фигур, основанный на применении центрального проектирования.
Псе́вдоевкли́дово простра́нство — конечномерное вещественное векторное или аффинное пространство с невырожденным индефинитным скалярным произведением, которое называют также индефинитной метрикой. Индефинитная метрика не является метрикой в смысле определения метрического пространства, а представляет собой частный случай метрического тензора.
Вениами́н Фёдорович Ка́ган — русский и советский математик, доктор физико-математических наук, профессор МГУ.
Проективная модель — модель планиметрии Лобачевского. Предложена итальянским математиком Эудженио Бельтрами. Немецкий математик Феликс Клейн разработал её независимо.
Конформно-евклидова модель или модель Пуанкаре́ — модель пространства Лобачевского.
Группа симметрии некоторого объекта ― группа всех преобразований, для которых данный объект является инвариантом, с композицией в качестве групповой операции. Как правило, рассматриваются множества точек n-мерного евклидова пространства и движения этого пространства, но понятие группы симметрии сохраняет свой смысл и в более общих случаях.
Основания геометрии — область математики, изучающая аксиоматические системы евклидовой геометрии, а также различных неевклидовых геометрий. Основные вопросы состоят в полноте, независимости и непротиворечивости аксиоматических систем. Основания геометрии также связаны с вопросом преподавания геометрии.
Модель Пуанкаре в верхней полуплоскости — это верхняя половина плоскости 
, обозначаемая ниже как H, вместе с метрикой, которая делает её моделью двумерной гиперболической геометрии.
