§ 1. Декартова реалізація системи аксіом евклідової геометрії (за О.В. Погорєловим)

Содержание

• ВСТУП
• § 1. Декартова реалізація системи аксіом евклідової геометрії (за О.В. Погорєловим)
• 1.1 Несуперечливість системи аксіом евклідової геометрії
• 1.2 Повнота системи аксіом евклідової геометрії
• 1.3 Незалежність аксіоми існування відрізка заданої довжини
• 1.4 Незалежність аксіоми паралельних
• § 2. Арифметична реалізація векторної системи аксіом Г. Вейля евклідової геометрії
• 2.1 Несуперечливість системи аксіом Г. Вейля евклідової геометрії для простору ТЕ3
• 2.2 Незалежність системи аксіом Г. Вейля
• 2.3 Повнота системи аксіом Вейля
• $ 3. Доведення несуперечливості геометрії Лобачевського
• 3.1 Реалізація Бельтрамі - Клейна
• 3.2 Реалізація Пуанкаре
• ВИСНОВКИ

Похожие материалы

• Послідовники Піфагора
• Говорячи про несуперечливість системи аксіом, то вона називається не­залежною (мінімальною), якщо кожна аксіома даної системи не є логічним наслідком інших аксіом цієї системи.
• 2.3. Повнота системи аксіом Вейля
• 1.2. Повнота системи аксіом евклідової геометрії
• 1.1. Несуперечливість системи аксіом евклідової геометрії
• § 2. Арифметична реалізація векторної системи аксіом г. Вейля евклідової геометрії
• Висновки
• Курсова робота