Содержание
- Введение 1
- Исторический обзор развития аксиоматического метода 2
- - Аксиоматика Евклида 2.1
- - Развитие неевклидовых геометрий 2.2
- - Аксиоматизация арифметики 2.3
- Основные понятия и типы аксиоматических систем 3
- - Понятие логического следования 3.1
- - Противоречивость и полнота аксиоматических систем 3.2
- - Модели аксиоматических систем 3.3
- Аксиоматические системы в различных областях математики 4
- - Аксиомы теории множеств 4.1
- - Аксиомы алгебры групп 4.2
- - Аксиомы теории вещественных чисел 4.3
- Заключение 5
- Список литературы 6