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



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


Таким образом, мы построили реализацию системы всех аксиом евклидовой геометрии, кроме аксиомы непрерывности, которая в этой реализации не имеет места. Это и доказывает независимость аксиомы непрерывности от остальных аксиом евклидовой геометрии.

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

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

Таким образом, мы построили реализацию системы всех аксиом евклидовой геометрии, кроме аксиомы непрерывности, которая в этой реализации не имеет места. Это и доказывает независимость аксиомы непрерывности от остальных аксиом евклидовой геометрии.