Дослідження системи аксіом евклідової геометрії

Предмет дослідження: система аксіом геометрії.Нехай R - яка-небудь реалізація системи аксіом евклідової геометрії на площині.Отже, система аксіом Вейля евклідової геометрії є повною [4,c.54] .У даній курсовій роботі було розглянуто питання про систему дослідження аксіом геометрії.Декартова реалізація системи аксіом евклідової геометрії (за О.В. Погорєловим).1 Несуперечливість системи аксіом евклідової геометрії.2 Повнота системи аксіом евклідової геометрії.Арифметична реалізація векторної системи аксіом Г. Вейля евклідової геометрії.Несуперечливість системи аксіом Г. Вейля евклідової геометрії для простору ТЕ3.Обґрунтування даної системи аксіом геометрії.