Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
Пусто́е мно́жество — множество, не содержащее ни одного элемента. Из аксиомы объёмности следует, что есть только одно множество, обладающее таким свойством. Пустое множество является своим (тривиальным) подмножеством, но не является своим элементом.
Логика первого порядка — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.
Веще́ственное число́ — математический объект, возникший из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких вычислительных операций, как извлечение корня, вычисление логарифмов, решение алгебраических уравнений, исследование поведения функций.
Систе́ма аксио́м Це́рмело — Фре́нкеля (ZF) — наиболее широко используемый вариант аксиоматической теории множеств, являющийся фактическим стандартом для оснований математики. Сформулирована Эрнстом Цермело в 1908 году как средство преодоления парадоксов теории множеств, и уточнена Абрахамом Френкелем в 1921 году.
Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:
Преде́лом фу́нкции в точке, предельной для области определения функции, называется такая величина, к которой значение рассматриваемой функции стремится при стремлении её аргумента к данной точке. Одно из основных понятий математического анализа.
Определённый интеграл называется несобственным, если выполняется по крайней мере одно из следующих условий.
- Область интегрирования является бесконечной. Например, является бесконечным промежутком
. - Функция
является неограниченной в окрестности некоторых точек области интегрирования.
Парадо́кс Ка́нтора — парадокс теории множеств, который демонстрирует, что предположение о существовании множества всех множеств ведёт к противоречиям и, следовательно, противоречивой является теория, в которой построение такого множества возможно.
Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов.
Дескрипцио́нная логика — язык представления знаний, позволяющий описывать понятия предметной области в недвусмысленном, формализованном виде, организованный по типу языков математической логики. Дескрипционные логики сочетают, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике, обеспечивая компромисс между выразительностью и разрешимостью. Могут быть рассмотрены как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам.
Аксиомой объёмности называется следующее высказывание теории множеств:
Аксиомой [существования] пустого множества называется следующее высказывание теории множеств:
.
Аксиомой [существования неупорядоченной] пары называется следующее высказывание теории множеств:
Аксиомой регулярности называется следующее высказывание теории множеств:
, где 
Схемой преобразования [множеств] называется следующее высказывание теории множеств:
, где 
Система аксиом фон Неймана — Бернайса — Гёделя в метаматематике — одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело — Френкеля с аксиомой выбора (ZFC). Предложения, сформулированные на языке теории ZFC, доказуемы в ZFC тогда и только тогда, когда они доказуемы в NBG.
