Наивная теория множеств: различия между версиями

Преамбула
(Преамбула)
 
[[Файл:Diagonal argument.svg|thumb|Схема доказательства счётности множества рациональных чисел]]
[[Файл:Cantor-bernstein.svg|thumb|Схематическая идея доказательства теоремы Кантора — Бернштейна]]
'''Наи́вная тео́рия мно́жеств''' — раздел математики, в котором изучаются общие свойства множеств. Основным создателем теории множеств в ''наивном'' её варианте является немецкий математик [[Кантор, Георг|Георг Кантор]]. Множество есть любое собрание определённых и различимых между собой объектов нашей интуиции или интеллекта, мыслимое как единое целое. Для задания элементов множества используется форма. В качестве основных аксиом принимаются [[Аксиома объёмности|аксиома объемности]], принцип абстракции и [[аксиома выбора]].<ref>''Р. Р. Столл'' Множества. Логика. Аксиоматические теории. - М., Просвещение, 1968. - c. 9-19</ref>
 
== Работы Кантора ==
10 791

правка