Аксіоматика теорії множин: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Олюсь (обговорення | внесок) мНемає опису редагування |
MobyVan (обговорення | внесок) |
||
Рядок 1:
Сучасна [[теорія множин]], яка лежить в основі [[математика|математичної науки]], базується на системі [[аксіома|аксіом]], які приймаються без доведення і з яких виводяться усі [[теорема|теореми]] та твердження теорії множин.
Передумовами до створення такої теорії стало відкриття деяких [[парадокс]]ів, протиріч в так званій «наївній» теорії множин. Серед таких парадоксів найвідомішими є [[парадокс Кантора]], пов'язаний з проблемою існування «множини всіх множин», або [[парадокс Рассела]], в якому розглядається «множина всіх множин, які не включають самі себе
Аксіоматичні теорії множин вносять деякі корективи в цей принцип або іншим чином знімають існуючі протиріччя.
| |||