Аксіоматика теорії множин: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Shynkar (обговорення | внесок) |
Додано лінк на сторінку про аксіоматику фон Ноймана Бернайса і Геделя |
||
Рядок 9:
ZF-аксіоми були сформульовані в сучасному стані [[Туралф Скулем|Торальфом Сколемом]] в 1922 році, і є розвитком системи аксіом [[Абрахам Френкель|Адольфа Френкеля]], яка в свою чергу базувалась на системі аксіом, сформульованій [[Цермело Ернест|Ернестом Цермело]].
Існують й альтернативні аксіоматики для побудови теорії множин, серед яких можна виділити [[Теорія множин фон Неймана — Бернайса — Геделя|аксіоматику Ноймана-Бернайса-Геделя]], яка вводить поняття «класу» як множини, яка не може належати іншим множинам, таким чином вирішуючи проблеми «наївної» теорії. Серед інших слід відзначити також аксіоматику Рассела-Вайтгеда та NF-аксіоматику Квайна.
==Фундаментальна роль аксіоматики теорії множин==
| |||