Прямые называют параллельными, если они не имеют точек пересечения. Мы использовали эту аксиому, когда доказывали, что сумма углов треугольника равна 180°.
191
Большинство математиков полагало, что замена постулата о параллельных прямых приведет к противоречию. Николай Лобачевский, математик из России, живший в XIX веке, показал, что предположение (B) ведет не к противоречию, а к геометрии нового типа, названной в его честь геометрией Лобачевского.
