Теорія множин Цермело
З Вікіпедії, безкоштовно encyclopedia
Теорія множин Цермело — теорія множин, що включає в себе 7 аксіом, опублікована німецьким математиком Ернстом Цермело у 1908 році. Система аксіом Цермело для теорії множин була створена тому, що в інтуїтивній теорії множин Георга Кантора були виявлені парадокси і аксіоматизація виявилася єдиним виходом із становища. Першу версію системи аксіом теорії множин Цермело опублікував у 1908 році, вона включала 7 аксіом. Пізніше Абрахам Френкель і Торальф Сколем вдосконалили її (розширивши до 10 аксіом).