Согласно общему приему доказательства независимости аксиом, указанному в § 4, нам достаточно построить такую реализацию ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Погорелов А.В.
Основания геометрии Издание 4
Согласно общему приему доказательства независимости аксиом, указанному в § 4, нам достаточно построить такую реализацию системы аксиом евклидовой геометрии без аксиомы параллельности, в кото рой аксиома параллельности не выполняется.
