Выдержка из книги
Погорелов А.В.
Основания геометрии Издание 4
В этой реализации ( для краткости мы ее обозна чим К) тривиальным образом выполняются аксиомы первых двух групп и аксиома непрерывности. Таким образом, нам остается проверить аксиомы движения и аксиому параллельности.