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