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