
Число́ — одно из основных понятий математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей.

Вычита́ние (убавление) — одна из вспомогательных бинарных математических операций двух аргументов, результатом которой является новое число (разность), получаемое уменьшением значения первого аргумента на значение второго аргумента. На письме обычно обозначается с помощью знака «минус»:
. Вычитание — операция обратная сложению.

Веще́ственное число́ — математический объект, возникший из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких вычислительных операций, как извлечение корня, вычисление логарифмов, решение алгебраических уравнений, исследование поведения функций.
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления, причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Элементы поля не обязательно являются числами, поэтому, несмотря на то, что названия операций поля взяты из арифметики, определения операций могут быть далеки от арифметических.
p-адическое число — теоретико-числовое понятие, определяемое для заданного фиксированного простого числа p как элемент расширения поля рациональных чисел. Это расширение является пополнением поля рациональных чисел относительно p-адической нормы, определяемой на основе свойств делимости целых чисел на p.

Умноже́ние — одна из основных математических операций над двумя аргументами, которые называются множителями или сомножителями. Результат умножения называется их произведением.
Неприводимый многочлен — многочлен, неразложимый на нетривиальные многочлены. Неприводимые многочлены являются неприводимыми элементами кольца многочленов.
Критерий Коши — ряд утверждений в математическом анализе:
- Критерий сходимости последовательности — на котором основывается определение полного метрического пространства.
- Критерий сходимости числовых рядов.
- Критерий Коши равномерной сходимости несобственных интегралов.
- Критерий Коши или число Коши — критерий подобия в механике сплошных сред.

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.
В разделе информатики — алгоритмической теории информации, константа Хайтина или вероятность остановки — вещественное число, которое, неформально говоря, является вероятностью того, что произвольно выбранная программа остановится. Существование таких чисел было продемонстрировано Грегори Хайтином.
Алгоритм Берлекэмпа — алгоритм, предназначенный для факторизации унитарных многочленов над конечным полем. Разработан Элвином Берлекэмпом в 1967 году. Может использоваться также для проверки неприводимости многочленов над конечными полями. Основная идея алгоритма заключается в возможности представления исходного многочлена в виде произведения наибольших общих делителей самого многочлена и некоторых многочленов, которые с точностью до свободного члена являются
-разлагающими.
Разреши́мое множество — множество натуральных чисел, для которого существует алгоритм, получающий на вход любое натуральное число и через конечное число шагов завершающийся определением, принадлежит ли оно данному множеству. Другими словами, множество является разрешимым, если его характеристическая функция вычислима. Множество, не являющееся разрешимым, называется неразреши́мым. Также можно говорить о разрешимом множестве, состоящем из любых конструктивных объектов, кодируемых натуральными числами. Любое разрешимое множество является перечислимым и арифметическим. Разрешимые множества соответствуют уровню
арифметической иерархии.
Арифметическое множество — множество натуральных чисел
, которое может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула
с одной свободной переменной
, что
. Аналогично, множество кортежей натуральных чисел
называется арифметическим, если существует такая формула
, что
. Также можно говорить об арифметических множествах кортежей натуральных чисел, конечных последовательностей натуральных чисел, формул и, вообще, об арифметических множествах любых объектов, кодируемых натуральными числами.
Период в алгебраической геометрии — вещественное число, которое может быть выражено как объём области в
, заданной системой полиномиальных неравенств с рациональными коэффициентами. Сумма, разность и произведение периодов также являются периодами, поэтому множество всех периодов образует кольцо, таким образом, изучается кольцо периодов. Комплексное число называется периодом, если и действительная, и мнимая его части являются периодами.
Выразимость в радикалах означает возможность выразить число или функцию через простейшие числа или функции при помощи извлечения корня целой степени и арифметических операций — сложения, вычитания, умножения, деления.