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