Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримости множеств тщательно разработана дескриптивная теория множеств.
Пробле́мы Ги́льберта — список из 23 математических задач, представленный Давидом Гильбертом на II Международном конгрессе математиков в Париже в 1900 году. Полный список из 23 задач был опубликован позже, в частности, в переводе на английский язык в 1902 году Мэри Фрэнсис Уинстон Ньюсон в Bulletin of the American Mathematical Society. Тогда эти проблемы не были решены. Некоторые из них оказали большое влияние на математику XX века.
Аксио́ма, или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Несчётное мно́жество — бесконечное множество, не являющееся счётным.
Конти́нуум-гипо́теза — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным. Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет. В частности, это предположение означает, что для любого бесконечного множества действительных чисел всегда можно установить взаимно-однозначное соответствие либо между элементами этого множества и множеством целых чисел, либо между элементами этого множества и множеством всех действительных чисел.
Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:
Курт Фри́дрих Гёдель — австрийский логик, математик и философ математики. Наиболее известен сформулированными и доказанными им теоремами о неполноте, которые оказали огромное влияние на представление об основаниях математики. Считается одним из наиболее выдающихся мыслителей XX века.
Недоказу́емые утвержде́ния в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории, включающей в себя формальную арифметику, имеется недоказуемое [и неопровергаемое в ней] утверждение. Однако нахождение достаточно простых утверждений такого рода и доказательство их недоказуемости — сложная задача.
Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным. Одна из важнейших теорем в теории множеств. Названа в честь немецкого математика Эрнста Цермело. Теорема Цермело эквивалентна аксиоме выбора, а следовательно, и лемме Цорна.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Алекса́ндр Серге́евич Есе́нин-Во́льпин — советский и американский математик, философ, поэт, один из лидеров диссидентского и правозащитного движения в СССР, пионер правового просвещения в диссидентских кругах советского общества, сын Сергея Есенина.
Теория доказательств — раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» математики. Теория доказательств использует точное определение понятия доказательства при доказательстве невозможности доказательства того или иного предложения в рамках заданной математической теории.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Эрнст Фри́дрих Фердина́нд Це́рмело — немецкий математик, внёсший значительный вклад в теорию множеств и создание аксиоматических оснований математики.
Лемма Цорна — одно из утверждений, эквивалентных аксиоме выбора, наряду с теоремой Цермело и принципом максимума Хаусдорфа.
Джон фон Не́йман — венгеро-американский математик, физик и педагог еврейского происхождения, сделавший важный вклад в квантовую физику, квантовую логику, функциональный анализ, теорию множеств, информатику, экономику и другие отрасли науки.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом.
Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз в качестве замены для аксиомы выбора. Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков. Например, в случае применения аксиомы выбора возникают парадоксальные конструкции вроде «парадокса удвоения шара». Многие математики отмечали, что множества, существование которых доказывается с помощью аксиомы выбора, лишены индивидуальности в том смысле, что мы не можем исчерпывающе описать их состав из-за отсутствия ясного алгоритма выбора.
Иера́рхия а́лефов в теории множеств и в математике вообще представляет собой упорядоченную систему обобщённых («кардинальных») чисел, используемых для представления мощности бесконечных вполне упорядоченных множеств. Мощность конечного множества есть количество его элементов, поэтому иерархия кардинальных чисел включает обычные натуральные числа, упорядоченные традиционным способом. Далее в иерархии идут бесконечные вполне упорядоченные множества, мощность которых обозначается с помощью буквы алеф (ℵ) еврейского алфавита с индексами, причём индекс сам может быть бесконечным порядковым числом. Множествам большей мощности соответствует большее значение индекса.
