Похожие статьи:

1. Аксиома бесконечности Оглавление1 Аксиома бесконечности1.1 Определение и свойства аксиомы бесконечности1.2 Примеры и следствия аксиомы бесконечности1.3 Аксиома бесконечности в...
2. Аксиома проективной детерминированности Оглавление1 Аксиома проективной детерминированности1.1 Определение проективной детерминированности1.2 Непротиворечивость и следствия1.3 Следствия аксиомы PD1.4 Рекомендации по цитированию1.5...
3. Аксиома проективной детерминированности Оглавление1 Аксиома проективной детерминированности1.1 Определение проективной детерминированности1.2 Непротиворечивость и следствия1.3 Следствия аксиомы PD1.4 Рекомендации по цитированию1.5...
4. Аксиома Оглавление1 Аксиома1.1 Основы математической логики1.2 Аксиомы и правила вывода1.3 Примеры аксиом1.4 Логические исчисления1.5 Логика первого порядка1.6...
5. Аксиома Оглавление1 Аксиома1.1 Основы математической логики1.2 Аксиомы и правила вывода1.3 Примеры аксиом1.4 Логические исчисления1.5 Логика первого порядка1.6...
6. Схема аксиом спецификации Оглавление1 Аксиоматическая схема спецификации1.1 Аксиоматика теории множеств1.2 Парадокс Рассела1.3 Развитие аксиоматики1.4 Ограничения аксиомы спецификации1.5 Рекомендации2 Схема...
7. Аксиома правильного принуждения Оглавление1 Правильная аксиома принуждения1.1 Основы теории множеств1.2 Аксиомы теории множеств1.3 Формулировка аксиом1.4 Примеры множеств1.5 Аксиома выбора1.6...
8. Аксиома реальной определенности Оглавление1 Аксиома реальной детерминированности1.1 Определение аксиомы реальной детерминированности1.2 Дополнительная информация1.3 Полный текст статьи:2 Аксиома реальной определенности...
9. Аксиома невыбора Оглавление1 Аксиома отсутствия выбора1.1 Определение аксиомы выбора1.2 Применение аксиомы выбора1.3 Формулировка аксиомы1.4 Обсуждение аксиомы1.5 Связь с...
10. Аксиома пустого множества Оглавление1 Аксиома пустого множества1.1 Определение аксиомы пустого множества1.2 Формулировка аксиомы1.3 Толкование и следствия1.4 Вариации аксиомы и...
11. Теоремы Гёделя о неполноте Оглавление1 Теоремы Геделя о неполноте1.1 Теорема Геделя о неполноте1.2 Вторая теорема Геделя о неполноте1.3 Условия Гильберта-Бернейса1.4...
12. Схема аксиом спецификации Оглавление1 Аксиоматическая схема спецификации1.1 Аксиоматика теории множеств1.2 Парадокс Рассела1.3 Развитие аксиоматики1.4 Ограничения аксиомы спецификации1.5 Рекомендации по...
13. Аксиома союза Аксиома объединения Аксиома объединения является одной из аксиом аксиоматической теории множеств Цермело-Френкеля.  Аксиома гласит, что для...
14. Теоремы Гёделя о неполноте Оглавление1 Теоремы Геделя о неполноте1.1 Теорема Геделя о неполноте1.2 Вторая теорема Геделя о неполноте1.3 Условия Гильберта-Бернейса1.4...
15. Теория множеств фон Неймана–Бернейса–Гёделя Оглавление1 Теория множеств Фон Неймана–Бернейса–Геделя1.1 Основы теории множеств1.2 Аксиомы теории множеств1.3 Пересечение множеств1.4 Дополнение множества1.5 Доказательство...
16. Нерекурсивный порядковый номер Оглавление1 Нерекурсивный порядковый номер1.1 Определение и свойства ординалов1.2 Рекурсивные ординалы1.3 Стабильные ординалы1.4 Большие нерекурсивные ординалы2 Нерекурсивный...
17. Аксиома зависимого выбора Оглавление1 Аксиома зависимого выбора1.1 Определение и свойства аксиомы зависимого выбора1.2 Эквивалентности и следствия1.3 Связь с другими...
18. Аксиомы Пеано Оглавление1 Аксиомы Пеано1.1 Основы арифметики Пеано1.2 Непротиворечивость и финитизм1.3 Арифметика Пеано как теория первого порядка1.4 Эквивалентные...
19. Аксиома регулярности Оглавление1 Аксиома регулярности1.1 Аксиома основания Цермело1.2 История и развитие аксиомы1.3 Обоснованность и ранг множества1.4 Эквивалентность аксиомы...
20. Аксиома бесконечности Аксиома бесконечности Аксиома бесконечности утверждает существование бесконечного множества.  Аксиома бесконечности является одной из аксиом теории множеств. ...
21. Аксиома выбора Аксиома выбора Аксиома выбора является одной из основных аксиом теории множеств.  Она утверждает, что для каждого...
22. Схема аксиом замены Оглавление1 Схема замены аксиомы1.1 Аксиома замены в теории множеств1.2 История аксиомы замены1.3 Влияние на развитие теории...