Доказанная теорема позволяет привести содержательный, пример неполной системы аксиом. Именно, система аксиом евклидовой геометрии без ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Погорелов А.В. Основания геометрии Издание 4


Доказанная теорема позволяет привести содержательный, пример неполной системы аксиом. Именно, система аксиом евклидовой геометрии без аксиомы непрерывности является неполной. Эта система может быть пополнена новой аксиомой ( аксиомой непрерывности), не вытекающей из остальных аксиом и не противоречащей им.

(cкачать страницу)

Смотреть книгу на libgen

Доказанная теорема позволяет привести содержательный,  пример неполной системы аксиом.  Именно,  система аксиом евклидовой геометрии без аксиомы непрерывности является неполной.  Эта система может быть пополнена новой аксиомой ( аксиомой непрерывности),  не вытекающей из остальных аксиом и не противоречащей им.