209
209
в геометрии Лобачевского следующей формальной аксиомой: в плоско-
сти через точку, не лежащую на данной прямой, можно провести более
одной прямой, не пересекающей данную.
Следствием этого изменения
стало то, что в геометрии Лобачевского многие теоремы отличаются от
соответствующих теорем евклидовой геометрии: например, сумма углов
треугольника меньше 180 градусов. Однако
при этом геометрия Лоба-
чевского является внутренне непротиворечивой
системой и логически
равноправна с евклидовой геометрией.
Достарыңызбен бөлісу: