Великая теорема Ферма́ — одна из самых популярных теорем математики. Сформулирована французским математиком Пьером Ферма в 1637 году. Несмотря на простоту формулировки, буквально, на «школьном» арифметическом уровне, доказательство теоремы искали многие математики на протяжении более трёхсот лет. И только в 1994 году теорема была доказана английским математиком Эндрю Уайлсом с коллегами; публикация доказательства состоялась в 1995 году.
Теоре́ма Пифаго́ра — одна из основополагающих теорем евклидовой геометрии, устанавливающая соотношение между сторонами прямоугольного треугольника: сумма квадратов длин катетов равна квадрату длины гипотенузы.
Теорема Гёделя о неполноте и вторая теорема Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Ка́устика — огибающая семейства лучей, не сходящихся в одной точке. Каустики в оптике — это особые линии и особые поверхности, вблизи которых резко возрастает интенсивность светового поля.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Ле́мма — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений. По этой причине она также известна как «вспомогательная теорема». Во многих случаях важность леммы определяется теоремой, которую она стремится доказать; однако лемма также может оказаться более важной, чем предполагалось изначально. Слово «лемма» происходит от древнегреческого λῆμμα.
Аксио́ма паралле́льности Евкли́да, или пя́тый постула́т, — одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах» Евклида:
И если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие двух прямых, то продолженные неограниченно эти прямые встретятся с той стороны, где углы меньше двух прямых.
Теорема Абеля — Руффини утверждает, что общее алгебраическое уравнение степени 
неразрешимо в радикалах.
Степенью многочлена одной комплексной переменной называется количество всех его корней с учётом их кратности. Из основной теоремы алгебры и из следствия теоремы Безу следует, что любой многочлен p(x) степени n возможно представить в виде a(x − x1)…(x − xn), где x1, …, xn — это все комплексные корни многочлена с учётом кратности, а константа a ≠ 0 — старший коэффициент многочлена. Раскрыв скобки в выражении a(x − x1)…(x − xn), можно получить эквивалентное определение: степень многочлена одной переменной — это максимальная из степеней всех его слагаемых-одночленов, тождественно не равных нулю.
Николас Говерт де Брёйн — нидерландский математик, известный исследованиями в области теории графов, автоматического доказательства, автор учебника по асимптотическим методам анализа. Его именем названы конструкции, связанные с последовательностью де Брёйна: цикл де Брёйна, граф де Брёйна, а также несколько известных утверждений в теории графов, комбинаторике, вычислительной геометрии и теории чисел.
Ялмар Меллин — финский математик, специалист в области теории функций, разработавший одно из самых известных интегральных преобразований, названное его именем — преобразование Меллина.
Интеграл Меллина—Барнса или интеграл Барнса в математике — контурный интеграл от функции, содержащей произведение гамма-функций. Интегралы такого типа тесно связаны с обобщёнными гипергеометрическими функциями. Они были введены английским математиком Эрнестом Уильямом Барнсом в 1908—1910 годах. Похожие интегралы рассматривались финским математиком Ялмаром Меллином — в частности, в связи с обратным преобразованием Меллина.
В теории графов двусвязный граф — это связный и неделимый граф, в том смысле, что удаление любой вершины не приведёт к потере связности. Теорема Уитни утверждает, в частности, что граф двусвязен тогда и только тогда, когда между любыми двумя его вершинами есть минимум два непересекающихся пути. Таким образом, двусвязный граф не имеет шарниров.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом.
Ребро в геометрии — отрезок, соединяющий две вершины многоугольника или многогранника. В многоугольниках ребро является отрезком, лежащим на границе и чаще называется стороной многоугольника. В трёхмерных многогранниках и в многогранниках большей размерности ребро — это отрезок, общий для двух граней. Отрезок, соединяющий две вершины и проходящий через внутренние или внешние точки, ребром не является и называется диагональю.
Парадокс Крамера или парадокс Эйлера — Крамера — это утверждение, что число точек пересечения двух кривых высокого порядка на плоскости может быть больше числа произвольных точек, которые обычно нужны для однозначного определения каждой такой кривой. Парадокс назван именем математика из Женевы Габриэля Крамера.
Четвёртая степень числа — число, равное произведению четырёх одинаковых чисел.
