Тем самым мы завершили доказательство непротиворечивости планиметрии Лобачевского и одновременно показали, что аксиома параллельности V ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Ильин В.А.
Аналитическая геометрия
Тем самым мы завершили доказательство непротиворечивости планиметрии Лобачевского и одновременно показали, что аксиома параллельности V Евклида не является следствием аксиом I, 1 - 3, II-IV абсолютной геометрии.