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