Аксиома

Не путать с аксионом или аксоном .

Сюда перенаправляются несколько терминов. Чтобы узнать о других значениях, см. Аксиома (значения) , Аксиоматика (значения) и Постуляция (алгебраическая геометрия) .

Аксиома постулат , предположение или , — это утверждение которое считается истинным и служит предпосылкой или отправной точкой для дальнейших рассуждений и аргументов. Это слово происходит от древнегреческого слова ἀξίωμα ( аксиома ), означающего «то, что считается достойным или подходящим» или «то, что считается очевидным».

Точное определение варьируется в зависимости от области исследования. В классической философии аксиома — это утверждение, которое настолько очевидно или устоялось, что принимается без споров и вопросов. В современной логике аксиома — это предпосылка или отправная точка рассуждения.

В математике аксиома логической может быть « аксиомой » или « нелогической аксиомой ». Логические аксиомы считаются истинными в рамках определяемой ими системы логики и часто изображаются в символической форме (например, ( A и B ) подразумевают A ), в то время как нелогические аксиомы представляют собой существенные утверждения об элементах области конкретной области. математическая теория, например a + 0 = a в целочисленной арифметике.

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

Любая аксиома — это утверждение, служащее отправной точкой, из которой логически выводятся другие утверждения. Имеет ли значение (и если да, то что это значит) для того, чтобы аксиома была «истинной», является предметом споров в философии математики .

Этимология

Слово аксиома происходит от греческого слова ἀξίωμα ( axíōma ), отглагольного существительного от глагола ἀξιόειν ( axioein ), означающего «считать достойным», но также и «требовать», которое, в свою очередь, происходит от ἄξιος ( áxios ), означающего « находясь в равновесии», а значит, «имея (такую ​​же) ценность (как)», «достойный», «надлежащий». Древнегреческие . философы и математики считали аксиомы непосредственными очевидными положениями, основополагающими и общими для многих областей исследования и самоочевидно истинными без каких-либо дополнительных аргументов или доказательств

Коренное значение слова постулат — «требовать»; например, Евклид требует, чтобы кто-то согласился с тем, что некоторые вещи можно сделать (например, любые две точки можно соединить прямой линией).

Древние геометры придерживались некоторого различия между аксиомами и постулатами. Комментируя книги Евклида, Прокл замечает, что « Гемин считал, что этот [4-й] постулат следует классифицировать не как постулат, а как аксиому, поскольку он не утверждает, как первые три постулата, возможность какой-либо конструкции, а выражает существенное имущество». Боэций перевел «постулат» как petitio и назвал аксиомы notiones communes, но в более поздних рукописях это употребление не всегда строго соблюдалось.

Историческое развитие

Ранние греки

Логико-дедуктивный метод, при котором выводы (новое знание) следуют из посылок (старое знание) посредством применения обоснованных аргументов ( силлогизмов , правил вывода ), был разработан древними греками и стал основным принципом современной математики. Если исключить тавтологии , ничего нельзя вывести, если ничего не предполагается. Таким образом, аксиомы и постулаты являются основными предположениями, лежащими в основе данного массива дедуктивных знаний. Они принимаются без демонстрации. Все остальные утверждения ( теоремы в случае математики) должны быть доказаны с помощью этих основных предположений. Однако интерпретация математического знания изменилась с древних времен на современность, и, следовательно, термины «аксиома» и «постулат» имеют несколько иное значение для современного математика, чем для Аристотеля и Евклида .

Древние греки считали геометрию лишь одной из нескольких наук и ставили теоремы геометрии наравне с научными фактами. Таким образом, они разработали и использовали логико-дедуктивный метод как средство предотвращения ошибок, а также для структурирования и передачи знаний. Аристотеля Апостериорная аналитика представляет собой окончательное изложение классической точки зрения.

«Аксиома» в классической терминологии относится к самоочевидному предположению, обычному для многих отраслей науки. Хорошим примером может служить утверждение, что:

Когда из равных берется равная сумма, получается равная сумма.

В основе различных наук лежали некоторые дополнительные гипотезы , принимаемые без доказательств. Такая гипотеза получила название постулата . Хотя аксиомы были общими для многих наук, постулаты каждой конкретной науки были разными. Их обоснованность должна была быть установлена ​​на основе реального опыта. Аристотель предупреждает, что содержание науки не может быть успешно передано, если обучающийся сомневается в истинности постулатов.

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

Постулаты

1. Из любой точки можно провести прямую линию в любую другую точку.
2. Можно непрерывно удлинять сегмент линии в обоих направлениях.
3. можно Описать окружность с любым центром и любым радиусом.
4. Это правда, что все прямые углы равны между собой.
5. (« Постулат о параллельности ») Верно, что если прямая линия, падающая на две прямые, делает внутренние углы на одной и той же стороне меньшими, чем два прямых угла, то две прямые линии, если их производить бесконечно, пересекаются на той стороне, на которой углы . меньше двух прямых углов

Общие понятия

1. Вещи, равные одному и тому же, равны и друг другу.
2. Если равные прибавляются к равным, целые становятся равными.
3. Если из равных вычесть равные, то остатки равны.
4. Вещи, которые совпадают друг с другом, равны друг другу.
5. Целое больше части.

Современное развитие

Урок, извлеченный математикой за последние 150 лет, заключается в том, что полезно лишить математических утверждений (аксиом, постулатов, предложений , теорем) и определений смысла. Необходимо признать необходимость примитивных понятий или неопределенных терминов или концепций в любом исследовании. Такая абстракция или формализация делает математические знания более общими, способными иметь множество различных значений и, следовательно, полезными в различных контекстах. Алессандро Падоа , Марио Пьери и Джузеппе Пеано были пионерами этого движения.

Структуралистская математика идет дальше и разрабатывает теории и аксиомы (например, теорию поля , теорию групп , топологию , векторные пространства ) без какого-либо конкретного применения. Различие между «аксиомой» и «постулатом» исчезает. Постулаты Евклида выгодно мотивированы тем, что они приводят к огромному количеству геометрических фактов. Истинность этих сложных фактов основывается на принятии основных гипотез. Однако, отбросив пятый постулат Евклида, можно получить теории, имеющие смысл в более широком контексте (например, гиперболическая геометрия ). Таким образом, нужно просто быть готовым с большей гибкостью использовать такие ярлыки, как «линия» и «параллель». Развитие гиперболической геометрии научило математиков тому, что постулаты полезно рассматривать как чисто формальные утверждения, а не как факты, основанные на опыте.

Когда математики используют аксиомы поля , намерения становятся еще более абстрактными. Предложения теории поля не касаются какого-либо конкретного приложения; математик теперь работает в полной абстракции. Существует множество примеров полей; теория поля дает правильные знания обо всех них.

Неверно говорить, что аксиомы теории поля — это «предложения, которые считаются истинными без доказательства». Скорее, аксиомы поля представляют собой набор ограничений. Если какая-либо система сложения и умножения удовлетворяет этим ограничениям, то человек имеет возможность мгновенно узнать большое количество дополнительной информации об этой системе.

Современная математика формализует свои основы до такой степени, что математические теории можно рассматривать как математические объекты, а саму математику — как раздел логики . Фреге , Рассел , Пуанкаре , Гильберт и Гёдель — одни из ключевых фигур в этом развитии.

Еще один урок, извлеченный из современной математики, заключается в тщательном изучении предполагаемых доказательств на предмет скрытых предположений.

В современном понимании набор аксиом — это любой набор формально сформулированных утверждений, из которого следуют другие формально сформулированные утверждения — посредством применения определенных четко определенных правил. С этой точки зрения логика становится просто еще одной формальной системой. Набор аксиом должен быть последовательным ; из аксиом должно быть невозможно вывести противоречие. Набор аксиом также не должен быть избыточным; утверждение, которое можно вывести из других аксиом, не обязательно должно рассматриваться как аксиома.

Современные логики надеялись, что различные разделы математики, а возможно, и вся математика, могут быть выведены из последовательного набора основных аксиом. Ранним успехом формалистической программы стала формализация Гильберта. евклидовой геометрии , и связанная с этим демонстрация непротиворечивости этих аксиом.

В более широком контексте была попытка основать всю математику на Кантора теории множеств . Здесь появление парадокса Рассела и подобных антиномий наивной теории множеств повысило вероятность того, что любая такая система может оказаться несовместимой.

Формалистский проект потерпел неудачу столетие назад, когда Гёдель показал ) возможно , что для любого достаточно большого набора аксиом (например, аксиом Пеано построить утверждение, истинность которого не зависит от этого набора аксиом. Как следствие , Гёдель доказал, что непротиворечивость такой теории, как арифметика Пеано, является недоказуемым утверждением в рамках этой теории.

Разумно верить в непротиворечивость арифметики Пеано, поскольку ей удовлетворяет система натуральных чисел , бесконечная , но интуитивно доступная формальная система. Однако в настоящее время неизвестен способ продемонстрировать непротиворечивость современных аксиом Цермело–Френкеля для теории множеств. Кроме того, используя методы принуждения ( Коэн ), можно показать, что гипотеза континуума (Кантор) не зависит от аксиом Цермело – Френкеля. Таким образом, даже этот очень общий набор аксиом не может рассматриваться как окончательная основа математики.

Другие науки

Экспериментальные науки - в отличие от математики и логики - также имеют общие основополагающие утверждения, на основе которых можно построить дедуктивные рассуждения, чтобы выразить предложения, предсказывающие свойства - либо все еще общие, либо гораздо более специализированные для конкретного экспериментального контекста. Например, законы Ньютона в классической механике, уравнения Максвелла в классическом электромагнетизме, уравнение Эйнштейна в общей теории относительности, закон законы генетики Менделя, естественного отбора Дарвина и т. д. Эти основополагающие утверждения обычно называют принципами или постулатами , чтобы отличить их от математических аксиом .

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

Но переход между математическими аксиомами и научными постулатами всегда слегка размыт, особенно в физике. Это связано с интенсивным использованием математических инструментов для поддержки физических теорий. Например, введение законов Ньютона редко устанавливает в качестве предпосылки ни евклидову геометрию, ни дифференциальное исчисление, которые они подразумевают. Это стало более очевидным, когда Альберт Эйнштейн впервые представил специальную теорию относительности , в которой инвариантная величина больше не равна евклидовой длине. $l$ (определяется как $l^{2}=x^{2}+y^{2}+z^{2}$) > но пространственно-временной интервал Минковского $s$ (определяется как $s^{2}=c^{2}t^{2}-x^{2}-y^{2}-z^{2}$), а затем общая теория относительности , где плоская геометрия Минковского заменяется псевдоримановой геометрией на искривленных многообразиях .

В квантовой физике в течение некоторого времени сосуществовали два набора постулатов, которые представляют собой очень хороший пример фальсификации. « Копенгагенская школа » ( Нильс Бор , Вернер Гейзенберг , Макс Борн ) разработала операционный подход с полным математическим формализмом, который предполагает описание квантовой системы векторами («состояниями») в сепарабельном гильбертовом пространстве и физическими величинами как линейными операторами. которые действуют в этом гильбертовом пространстве. Этот подход полностью фальсифицируем и на данный момент дает наиболее точные предсказания в физике. Но у него есть неудовлетворительный аспект: он не дает ответов на вопросы, которые естественно задаются. По этой причине другой подход « скрытых переменных » некоторое время разрабатывался Альбертом Эйнштейном, Эрвином Шрёдингером , Дэвидом Бомом . Он был создан для того, чтобы попытаться дать детерминистское объяснение таким явлениям, как запутанность . Этот подход предполагал, что описание Копенгагенской школы не является полным, и постулировал, что в теорию должна быть добавлена ​​некая, пока еще неизвестная переменная, чтобы позволить ответить на некоторые вопросы, на которые она не отвечает (основополагающие элементы которых обсуждались как ЭПР-парадокс в 1935 году). Серьезно приняв эти идеи, Джон Белл в 1964 году сделал предсказание, которое привело к различным экспериментальным результатам ( неравенствам Белла ) в случае Копенгагена и скрытой переменной. Эксперимент был впервые проведен Аленом Аспектом в начале 1980-х годов, и его результат исключил простой подход со скрытыми переменными (сложные скрытые переменные все еще могут существовать, но их свойства все равно будут более тревожными, чем проблемы, которые они пытаются решить). Это не означает, что концептуальную основу квантовой физики сейчас можно считать завершенной, поскольку некоторые открытые вопросы все еще существуют (предел между квантовой и классической сферами, что происходит во время квантового измерения, что происходит в полностью закрытой квантовой системе, такой как как сама Вселенная и т. д.).

Математическая логика

В области математической логики проводится четкое различие между двумя понятиями аксиом: логическими и нелогическими (что-то похожее на древнее различие между «аксиомами» и «постулатами» соответственно).

Логические аксиомы

Это определенные формулы формального языка , которые являются универсально действительными , то есть формулы, которым удовлетворяет любое присвоение значений. Обычно в качестве логических аксиом принимают хотя бы некоторый минимальный набор тавтологий, достаточный для доказательства всех тавтологий в языке; в случае логики предикатов требуется больше логических аксиом, чем требуется, чтобы доказать логические истины , которые не являются тавтологиями в строгом смысле.

Примеры

Пропозициональная логика

В логике высказываний в качестве логических аксиом принято принимать все формулы следующих форм, где $\phi$, $\chi$, и $\psi$ могут быть любые формулы языка и где входящие в их состав примитивные связки являются только " $\neg$"для отрицания следующего предложения и" $\to$«для импликации от антецедента к последующему суждению:

1. $\phi \to (\psi \to \phi )$
2. $(\phi \to (\psi \to \chi ))\to ((\phi \to \psi )\to (\phi \to \chi ))$
3. $(\lnot \phi \to \lnot \psi )\to (\psi \to \phi ).$

Каждый из этих шаблонов представляет собой схему аксиом , правило для генерации бесконечного числа аксиом. Например, если $A$, $B$, и $C$ являются пропозициональными переменными , то $A\to (B\to A)$ и $(A\to \lnot B)\to (C\to (A\to \lnot B))$оба являются экземплярами схемы аксиом 1 и, следовательно, являются аксиомами. Можно показать, что только с помощью этих трех схем аксиом и modus ponens можно доказать все тавтологии исчисления высказываний. Можно также показать, что ни одна пара этих схем не достаточна для доказательства всех тавтологий с modus ponens .

Альтернативно можно построить другие схемы аксиом, включающие тот же или разные наборы примитивных связок.

Эти схемы аксиом также используются в исчислении предикатов , но для включения квантора в исчисление необходимы дополнительные логические аксиомы.

Логика первого порядка

Аксиома равенства.
Позволять ${\mathfrak {L}}$быть языком первого порядка . Для каждой переменной $x$, приведенная ниже формула универсальна.

$x=x$

Это означает, что для любого переменного символа $x$, формула $x=x$можно считать аксиомой. Кроме того, в этом примере, чтобы не впасть в неясность и нескончаемый ряд «примитивных представлений», необходимо либо точное представление о том, что мы подразумеваем под $x=x$ (или, если уж на то пошло, «быть равным»), сначала должно быть четко установлено, иначе чисто формальное и синтаксическое использование символа $=$ должно быть соблюдено, рассматривая его только как строку и только как строку символов, и математическая логика действительно это делает.

Другой, более интересный пример схемы аксиом — это та, которая предоставляет нам так называемое универсальное создание экземпляров :

Схема аксиом для универсального создания экземпляров.
Учитывая формулу $\phi$ на языке первого порядка ${\mathfrak {L}}$, Переменная $x$ и термин $t$ который заменителем является $x$ в $\phi$, приведенная ниже формула универсальна.

$\forall x\,\phi \to \phi _{t}^{x}$

Где находится символ $\phi _{t}^{x}$ обозначает формулу $\phi$ с термином $t$ заменен на $x$. (См. Замена переменных .) Говоря неформально, этот пример позволяет нам утверждать, что если мы знаем, что определенное свойство $P$ держится для каждого $x$ и это $t$ обозначает конкретный объект в нашей структуре, тогда мы сможем заявить $P(t)$. Мы снова утверждаем, что формула $\forall x\phi \to \phi _{t}^{x}$ является действительным , то есть мы должны быть в состоянии дать «доказательство» этого факта или, точнее говоря, метадоказательство . Эти примеры являются метатеоремами нашей теории математической логики, поскольку мы имеем дело с самим понятием доказательства . Помимо этого, мы также можем иметь экзистенциальное обобщение :

Схема аксиом экзистенциального обобщения. Учитывая формулу $\phi$ на языке первого порядка ${\mathfrak {L}}$, Переменная $x$ и термин $t$ который является заменителем $x$ в $\phi$, приведенная ниже формула универсальна.

$\phi _{t}^{x}\to \exists x\,\phi$

Нелогические аксиомы

Нелогические аксиомы — это формулы, которые играют роль предположений, специфичных для теории. Рассуждения о двух разных структурах, например натуральных числах и целых числах , могут включать одни и те же логические аксиомы; нелогические аксиомы направлены на то, чтобы уловить особенности конкретной структуры (или набора структур, таких как группы ). Таким образом, нелогические аксиомы, в отличие от логических аксиом, не являются тавтологиями . Другое название нелогической аксиомы — постулат .

Почти каждая современная математическая теория начинается с определенного набора нелогических аксиом, и считалось, что в принципе любую теорию можно аксиоматизировать таким образом и формализовать до чистого языка логических формул.

часто называют просто аксиомами Нелогические аксиомы в математическом дискурсе . Это не означает, что утверждается, что они верны в каком-то абсолютном смысле. Например, в некоторых группах групповая операция коммутативна , и это можно утверждать введением дополнительной аксиомы, но без этой аксиомы мы вполне можем неплохо развивать (более общую) теорию групп и даже можем взять его отрицание как аксиома изучения некоммутативных групп.

Таким образом, аксиома является элементарной основой формальной логической системы , которая вместе с правилами вывода определяет дедуктивную систему .

Примеры

В этом разделе приводятся примеры математических теорий, которые полностью разработаны на основе набора нелогических аксиом (далее — аксиомы). Строгое рассмотрение любой из этих тем начинается с уточнения этих аксиом.

Базовые теории, такие как арифметика , действительный анализ и комплексный анализ, часто вводятся неаксиоматически, но неявно или явно обычно предполагается, что используемые аксиомы являются аксиомами теории множеств Цермело-Френкеля с выбором, сокращенно ZFC или некоторыми другими теориями. очень похожая система аксиоматической теории множеств, такая как теория множеств Фон Неймана–Бернейса–Гёделя , консервативное расширение ZFC. Иногда используются несколько более сильные теории, такие как теория множеств Морса-Келли или теория множеств с сильно недоступным кардиналом, позволяющая использовать вселенную Гротендика , но на самом деле большинство математиков могут доказать все, что им нужно, в системах более слабых, чем ZFC, таких как вторая -порядковая арифметика .

Изучение топологии в математике охватывает топологию множества точек , алгебраическую топологию , дифференциальную топологию и все связанные с ней принадлежности, такие как теория гомологий , теория гомотопий . Развитие абстрактной алгебры принесло с собой теорию групп , колец , полей и теорию Галуа .

Этот список можно расширить, включив в него большинство областей математики, включая теорию меры , эргодическую теорию , теорию вероятностей , теорию представлений и дифференциальную геометрию .

Арифметика

Аксиомы Пеано — наиболее широко используемая аксиоматизация арифметики первого порядка . Они представляют собой набор аксиом, достаточно сильных, чтобы доказать многие важные факты теории чисел , и они позволили Гёделю установить его знаменитую вторую теорему о неполноте .

У нас есть язык ${\mathfrak {L}}_{NT}=\{0,S\}$ где $0$ является постоянным символом и $S$ — унарная функция и следующие аксиомы:

1. $\forall x.\lnot (Sx=0)$
2. $\forall x.\forall y.(Sx=Sy\to x=y)$
3. $(\phi (0)\land \forall x.\,(\phi (x)\to \phi (Sx)))\to \forall x.\phi (x)$ для любого ${\mathfrak {L}}_{NT}$ формула $\phi$ с одной свободной переменной.

Стандартная структура ${\mathfrak {N}}=\langle \mathbb {N} ,0,S\rangle$ где $\mathbb {N}$ это набор натуральных чисел, $S$ является функцией-преемником и $0$ естественно интерпретируется как число 0.

Евклидова геометрия

Вероятно, самый старый и самый известный список аксиом — это Евклида постулаты плоской геометрии 4 + 1 . Аксиомы называются «4 + 1», потому что на протяжении почти двух тысячелетий считалось, что пятый (параллельный) постулат («через точку вне прямой проходит ровно одна параллель») можно вывести из первых четырех. В конечном итоге пятый постулат оказался независимым от первых четырех. Можно предположить, что существует ровно одна параллель, проходящая через точку вне прямой, или что их бесконечно много. Этот выбор дает нам две альтернативные формы геометрии, в которых сумма внутренних составляет ровно углов треугольника 180 градусов или меньше соответственно, и они известны как евклидова и гиперболическая геометрии. Если убрать еще и второй постулат («линию можно продолжать бесконечно»), то возникает эллиптическая геометрия , в которой нет параллели, проходящей через точку вне линии, и в которой сумма внутренних углов треугольника превышает 180 градусов. .

Реальный

Цели исследования находятся в области действительных чисел . Действительные числа однозначно выбираются (с точностью до изоморфизма ) свойствами дедекиндова полного упорядоченного поля , что означает, что любой непустой набор действительных чисел с верхней границей имеет наименьшую верхнюю границу. Однако выражение этих свойств в виде аксиом требует использования логики второго порядка . Теоремы Левенхайма -Скулема говорят нам, что если мы ограничимся логикой первого порядка , любая система аксиом для действительных чисел допускает другие модели, включая как модели, которые меньше действительных чисел, так и модели, которые больше. Некоторые из последних изучаются в рамках нестандартного анализа .

Роль в математической логике

системы

Дедуктивная система состоит из набора $\Lambda$ логических аксиом, набора $\Sigma$ нелогических аксиом и набора $\{(\Gamma ,\phi )\}$правил вывода . Желательным свойством дедуктивной системы является ее полнота . Система называется полной, если для всех формул $\phi$,

${\text{if }}\Sigma \models \phi {\text{ then }}\Sigma \vdash \phi$

то есть для любого утверждения, которое является логическим следствием $\Sigma$ на самом деле существует вывод утверждения из $\Sigma$. Иногда это выражают так: «все истинное доказуемо», но следует понимать, что «истинное» здесь означает «сделанное истинным с помощью набора аксиом», а не, например, «истинное в предполагаемой интерпретации». Теорема Гёделя о полноте устанавливает полноту определенного широко используемого типа дедуктивной системы.

Обратите внимание, что «полнота» здесь имеет другое значение, чем в контексте первой теоремы Гёделя о неполноте , которая утверждает, что не существует рекурсивного , непротиворечивого набора нелогических аксиом. $\Sigma$ Теория арифметики является полной в том смысле, что всегда будет существовать арифметическое утверждение. $\phi$ такой, что ни $\phi$ ни $\lnot \phi$ можно доказать на основе данного набора аксиом.

Таким образом, существует, с одной стороны, понятие полноты дедуктивной системы , а с другой — полноты набора нелогических аксиом . Теорема о полноте и теорема о неполноте, несмотря на названия, не противоречат друг другу.

Дальнейшее обсуждение

Ранние математики рассматривали аксиоматическую геометрию как модель физического пространства , и очевидно, что такая модель могла быть только одна. Идея о том, что могут существовать альтернативные математические системы, очень беспокоила математиков XIX века, и разработчики таких систем, как булева алгебра, предприняли тщательно продуманные усилия, чтобы вывести их из традиционной арифметики. Галуа Незадолго до своей безвременной кончины показал, что эти усилия по большей части оказались напрасными. В конечном итоге абстрактные параллели между алгебраическими системами оказались более важными, чем детали, и современная алгебра родилась . С современной точки зрения аксиомами может быть любой набор формул, если не известно, что они непротиворечивы.

См. также

• Аксиоматическая система
• Догма
• Первый принцип , аксиома в науке и философии
• Список аксиом
• Теория моделей
• Правила закона
• Теорема
• Предпосылка
• Принцип

Дальнейшее чтение

• Мендельсон, Эллиот (1987). Введение в математическую логику. Бельмонт, Калифорния: Уодсворт и Брукс. ISBN   0-534-06624-0
• Джон Кук Уилсон (1889 г.), Об эволюционистской теории аксиом: вступительная лекция, прочитанная 15 октября 1889 г. (1-е изд.), Оксфорд, Викиданные   Q26720682 {{citation}}: CS1 maint: отсутствует местоположение издателя ( ссылка )

Внешние ссылки

• Аксиома в PhilPapers
• Аксиома в PlanetMath .
• метаматематических аксиом Страница