Все вышесказанное – это физическая сторона геометрии. Но сейчас важнее математическая сторона геометрии, ее логическая структура.

Из аксиомы Лобачевского вытекают следующие логические следствия:

1) Если прямые CN и CL не встречают прямой АВ, то любая прямая СМ, проходящая через т. C внутри вертикальных углов NCL и N’CL’ также не встретит прямой АВ (рис.3, рис.4). Отсюда первое следствие аксиомы Лобачевского: через т. С вне прямой АВ плоскости АВС, проходит бесчисленное множество прямых, не пересекающихся с прямой АВ.

2) Если соединить (рис.2) какую-либо точку прямой DB с т. С, получим прямую, допустим, СК, проходящую через т. С и встречающую АВ. Итак, все прямые, проходящие через т. С внутри прямого угла NCD, разбиваются на две категории, на два класса: встречающие прямую АВ (названные Лобачевским «сходящимися» с АВ) и не встречающие прямую АВ (их Лобачевский называет «расходящимися» с АВ). Любая прямая первой категории образует с перпендикуляром CD угол, меньший угла, образованного перпендикуляром CD с любой прямой второй категории. Вращаясь непрерывно около т. С в направлении против часовой стрелки, прямая СК на известном этапе, допустим в положении CL, перестанет пересекать АВ и из сходящейся перейдет в категорию расходящихся с АВ прямых. Эта предельная прямая CL, служащая переходной прямой, граничной, отделяющей сходящиеся от расходящихся прямых, и названной Лобачевским параллельной к прямой АВ из т. С. Итак, параллельная CL – это не просто расходящаяся прямая, а первая, граничная расходящаяся, т.е. такая, что любая прямая, проходящая через т. С внутри угла, образованного параллельной CL и перпендикуляром CD, является сходящейся прямой, а всякая прямая, проходящая внутри угла LCN будет расходящаяся с прямой АВ. Угол DCL, образованный параллельной CL с перпендикуляром CD, называют углом параллельности.

В силу симметрии относительно перпендикуляра CD внутри прямого угла N’CD получим картину, аналогично той, которую мы имеем в угле NCD, т.е. построив угол DCF равный углу DCL, получим прямую CF, также параллельную прямой АВ слева от перпендикуляра CD. Итак, через т. С, лежащую вне прямой АВ, проходят в плоскости АВС две прямые, параллельные прямой АВ, в одну и другую сторону этой прямой. Все прямые, проходящие внутри вертикальных углов, образованных параллельными прямыми LL’ и GG’ (в том числе и евклидова «параллельная» NN’), расходятся с АВ; все остальные прямые, проходящие через т. С сходятся с прямой АВ.

Следовательно: а) 2 прямые как АВ и NN’, имеющие общий перпендикуляр CD, расходятся; б) если вращать прямую NN’ около т. С, допустим, по часовой стрелке, а прямую АВ около т.D в том же направлении так, чтобы углы, образованные этими прямыми с пересекающей их прямой CD, оставались равными, то прямые АВ и NN’ остаются расходящимися, т.е. две прямые, образующие при пересечении с третьей прямой равные соответственные углы, расходятся.

3) Из предыдущего положения вытекает, что на параллели Лобачевского различается направление параллельности. Прямая CE параллельна прямой АВ в направлении или в сторону от A к B, прямая CF параллельна той же прямой AB в направлении или в сторону ВА (от В к А) (рис.5).