Комбинато́рика — раздел математики, посвящённый решению задач, связанных с выбором и расположением элементов некоторого множества в соответствии с заданными правилами. Каждое такое правило определяет некоторую выборку из элементов исходного множества, которая называется комбинаторной конфигурацией. Простейшими примерами комбинаторных конфигураций являются перестановки, сочетания и размещения.
Логика первого порядка — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.

Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:

Симметрическая группа — группа всех перестановок заданного множества
относительно операции композиции.

Существует множество математических и физических объектов, названных в честь Леонарда Эйлера, что породило шуточное фольклорное правило: «В математике принято называть открытие именем второго человека, который его сделал — иначе пришлось бы всё называть именем Эйлера».
Липшицево отображение — отображение, увеличивающее расстояние между образами точек не более чем в
раз, где
называется константой Липшица данной функции. Названо в честь Рудольфа Липшица.
Откры́тые (нерешённые) математи́ческие пробле́мы — задачи, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве.
Теорема Мореры представляет собой обращение (неполное) интегральной теоремы Коши и является одной из основных теорем теории функций комплексного переменного. Она может быть сформулирована так:
Второ́е нача́ло термодина́мики устанавливает существование энтропии как функции состояния термодинамической системы и вводит понятие абсолютной термодинамической температуры, то есть «второе начало представляет собой закон об энтропии» и её свойствах. В изолированной системе энтропия либо остаётся неизменной, либо возрастает, достигая максимума при установлении термодинамического равновесия. Встречающиеся в литературе различные формулировки второго начала термодинамики являются частными следствиями закона возрастания энтропии.
Интерполяционная формула Уиттекера — Шеннона служит для восстановления непрерывного сигнала с ограниченным спектром из последовательности равноотстоящих отсчётов.
Лемма Цорна — одно из утверждений, эквивалентных аксиоме выбора, наряду с теоремой Цермело и принципом максимума Хаусдорфа.
Непреры́вность действи́тельных чи́сел — свойство системы действительных чисел
, которым не обладает множество рациональных чисел
. Иногда вместо непрерывности говорят о полноте системы действительных чисел. Существует несколько различных формулировок свойства непрерывности, наиболее известные из которых: принцип непрерывности действительных чисел по Дедекинду, принцип вложенных отрезков Коши — Кантора, теорема о точной верхней грани. В зависимости от принятого определения действительного числа, свойство непрерывности может либо постулироваться как аксиома — в той или иной формулировке, либо доказываться в качестве теоремы.
Теорема Сарда — теорема математического анализа с приложениями в дифференциальной геометрии и топологии, теории катастроф и теории динамических систем.
Теорема Клини о неподвижной точке — утверждение о существовании наименьшей неподвижной точки у всякого непрерывного по Скотту отображения полного частично упорядоченного множества на себя. Результат относят к Стивену Клини; используется в теории областей, теории решёток, теории графов, теории автоматов.
Упорядоченная группа — группа, для всех элементов которой определён линейный порядок, согласованный с групповой операцией. Вообще говоря, группа может быть не коммутативной.