Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Математи́ческий ана́лиз — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.
Комбинато́рика — раздел математики, посвящённый решению задач, связанных с выбором и расположением элементов некоторого множества в соответствии с заданными правилами. Каждое такое правило определяет некоторую выборку из элементов исходного множества, которая называется комбинаторной конфигурацией. Простейшими примерами комбинаторных конфигураций являются перестановки, сочетания и размещения.
Гипо́теза — предположение или догадка, утверждение, которое, в отличие от аксиом, постулатов, требует доказательства. Гипотеза считается научной, если она, в соответствии с научным методом, объясняет факты, охватываемые этой гипотезой; является логически непротиворечивой; принципиально опровергаема, то есть потенциально может быть проверена критическим экспериментом; не противоречит ранее установленным законам и, скорее всего, приложима к более широкому кругу явлений.
Веще́ственное число́ — математический объект, возникший из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких вычислительных операций, как извлечение корня, вычисление логарифмов, решение алгебраических уравнений, исследование поведения функций.
Нау́чный ме́тод — система процедур, совокупность приёмов и операций практического или теоретического освоения действительности, а также регулятивных принципов, способов обоснования, образцов и т. д., которыми руководствуется в своей деятельности научное сообщество или конкретный специалист.
Аксиома Архимеда, или принцип Архимеда, или свойство Архимеда — математическое предложение, названное по имени древнегреческого математика Архимеда. Впервые это предложение было сформулировано Евдоксом Книдским в его теории отношений величин :
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Данная статья представляет собой обзор основных событий и тенденций в истории математики с древнейших времён до наших дней.
Нестандартный анализ — альтернативный подход к обоснованию и построению математического анализа, в котором бесконечно малые — не переменные величины, а особый вид чисел. В нестандартном анализе на современной основе реализуется восходящая к Лейбницу и его последователям идея о существовании бесконечно малых величин, отличных от нуля, — идея, которая в историческом развитии математического анализа была заменена понятием предела переменной величины. Недоверие к актуальным бесконечным величинам в математике объяснялось трудностями их формального обоснования. Любопытно, что представления об актуальных бесконечно больших и бесконечно малых величинах сохранялись в учебниках физики и других естественных наук, где часто встречаются фразы вроде «пусть 
— элемент объёма…».
Конструктивная математика — абстрактная наука о мыслительных конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных математических объектах. Является результатом развития конструктивного направления в математике — математического мировоззрения, которое в отличие от теоретико-множественного направления считает основной задачей математики исследование конструктивных процессов и конструктивных объектов.
Математи́ческая моде́ль — математическое представление реальности, один из вариантов модели как системы, исследование которой позволяет получать информацию о некоторой другой системе. Математическая модель, в частности, предназначена для прогнозирования поведения реального объекта, но всегда представляет собой ту или иную степень его идеализации.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Задачи тысячелетия — семь математических проблем, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Существует историческая параллель между задачами тысячелетия и списком проблем Гильберта 1900 года, оказавшим существенное влияние на развитие математики в XX веке; из 23 проблем Гильберта большинство уже решено, и только одна — гипотеза Римана — вошла в список задач тысячелетия.
Леммой Гейне — Бореля называется следующий факт, играющий фундаментальную роль в анализе:
- Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также покрывающую этот отрезок.
Непреры́вность действи́тельных чи́сел — свойство системы действительных чисел 
, которым не обладает множество рациональных чисел 
. Иногда вместо непрерывности говорят о полноте системы действительных чисел. Существует несколько различных формулировок свойства непрерывности, наиболее известные из которых: принцип непрерывности действительных чисел по Дедекинду, принцип вложенных отрезков Коши — Кантора, теорема о точной верхней грани. В зависимости от принятого определения действительного числа, свойство непрерывности может либо постулироваться как аксиома — в той или иной формулировке, либо доказываться в качестве теоремы.
Основа́ния матема́тики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы.
Функция Ве́йерштрасса — пример непрерывной функции, нигде не имеющей производной; контрпример для гипотезы Ампера.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом.
Научные доказательства — это доказательства, которые служат либо для поддержки или опровержения научной теории или гипотезы. Ожидается, что такими доказательствами будут эмпирические данные и их интерпретация в соответствии с научным методом. Стандарты для научных доказательств варьируются в зависимости от области исследования.