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