Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримости множеств тщательно разработана дескриптивная теория множеств.
Аксио́ма, или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Мо́щность, или кардина́льное число́, мно́жества — характеристика множеств, обобщающая понятие количества (числа) элементов конечного множества.
Бесконе́чное мно́жество — множество, не являющееся конечным. Можно дать ещё несколько эквивалентных определений бесконечного множества:
- Множество, в котором для любого натурального числа
найдётся конечное подмножество из элементов. - Множество, в котором найдётся счётное подмножество.
- Множество, в котором найдётся подмножество, равномощное некоторому (ненулевому) предельному ординалу.
- Множество, для которого существует биекция с некоторым его собственным подмножеством.
Гео́рг Фе́рдинанд Лю́двиг Фи́липп Ка́нтор — немецкий математик, ученик Карла Вейерштрасса. Наиболее известен как создатель теории множеств. Основатель и первый президент Германского математического общества, инициатор создания Международного конгресса математиков.
Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
Парадоксами теории множеств называют
- рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как
- парадокс Бурали-Форти (1897)
- парадокс Кантора (1899)
- парадокс Рассела (1901)
- рассуждения, результат которых интуитивно кажется ложным или «парадоксальным», но которые, тем не менее, являются следствием аксиом формальной теории множеств, включая:
- предложенный Бертраном Расселом «парадокс Тристрама Шенди», демонстрирующий нарушение принципа «часть меньше целого» для бесконечных множеств,
- нетривиальные следствия аксиомы выбора:
- парадокс Банаха — Тарского,
- парадокс Хаусдорфа;
- особое место занимает парадокс Скулема, представляющий собой ошибочное рассуждение, которое может быть допущено неспециалистом при применении теоремы Лёвенгейма — Скулема к аксиоматической теории множеств.
Ка́нтор :
- Кантор — певчий в католической и лютеранской церквях, а также руководитель церковного хора.
- Кантор — то же, что хаззан в синагоге.
Совершенное множество — замкнутое множество, не имеющее изолированных точек, то есть совпадающее с множеством всех своих предельных точек.
Парадо́кс Ка́нтора — парадокс теории множеств, который демонстрирует, что предположение о существовании множества всех множеств ведёт к противоречиям и, следовательно, противоречивой является теория, в которой построение такого множества возможно.
Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным. Одна из важнейших теорем в теории множеств. Названа в честь немецкого математика Эрнста Цермело. Теорема Цермело эквивалентна аксиоме выбора, а следовательно, и лемме Цорна.
Эрнст Эдуард Куммер — немецкий математик, наиболее значительные труды относятся к алгебре и теории чисел.
Равномощность — отношение двух произвольных множеств, означающее, нестрого говоря, что одно множество содержит столько же элементов, сколько и другое. Конечные множества равномощны тогда и только тогда, когда они содержат одинаковое число элементов. Например, множество традиционных зодиакальных созвездий и множество рёбер куба равномощны, так как оба содержат по 12 элементов.
Непреры́вность действи́тельных чи́сел — свойство системы действительных чисел 
, которым не обладает множество рациональных чисел 
. Иногда вместо непрерывности говорят о полноте системы действительных чисел. Существует несколько различных формулировок свойства непрерывности, наиболее известные из которых: принцип непрерывности действительных чисел по Дедекинду, принцип вложенных отрезков Коши — Кантора, теорема о точной верхней грани. В зависимости от принятого определения действительного числа, свойство непрерывности может либо постулироваться как аксиома — в той или иной формулировке, либо доказываться в качестве теоремы.
Теорема Гурвица о нормированных алгебрах — утверждение о множестве всех возможных алгебр с единицей, допускающих при введении скалярного произведения правило «норма произведения равна произведению норм». Установлена немецким математиком Гурвицем в 1898 году..
Польское пространство — пространство, гомеоморфное полному метрическому пространству со счётным плотным подмножеством.
Диагональный аргумент — доказательство теоремы Кантора о том, что множество всех подмножеств данного множества имеет бо́льшую мощность, чем само множество. В частности, множество всех подмножеств натурального ряда имеет мощность большую, чем алеф-0, и, значит, не является счётным. Доказательство этого факта основано на следующем диагональном аргументе:
