Список альтернативных теорий множеств
Эта статья в значительной степени или полностью опирается на один источник . ( сентябрь 2023 г. ) |
В математической логике альтернативная теория множеств — это любой из альтернативных математических подходов к понятию множества и любая альтернатива стандартной теории множеств де-факто, описанной в аксиоматической теории множеств аксиомами теории множеств Цермело-Френкеля .
Альтернативные теории множеств
[ редактировать ]Альтернативные теории множеств включают: [1]
- Альтернативная теория множеств Вопенки
- Теория множеств фон Неймана–Бернейса–Гёделя
- Теория множеств Морса – Келли
- Теория множеств Тарского – Гротендика
- Теория множеств Аккермана
- Теория типов
- Новые фонды
- Положительная теория множеств
- Теория внутренних множеств
- Наивная теория множеств
- S (теория множеств)
- Теория множеств Крипке – Платека
- Теория множеств Скотта – Поттера
- Конструктивная теория множеств
- Теория множеств Цермело
- Общая теория множеств
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ Холмс, М. Рэндалл. «Альтернативные аксиоматические теории множеств» . Стэнфордская энциклопедия философии . Проверено 17 января 2020 г.