Великий математик первой половины XX в.

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

Чтобы познакомить вас с аксиомами Евклида, приведем только первые пять

аксиом геометрии на плоскости. Они заключаются в следующем:
Теорема - (греч . theorema, от theoreo - рассматриваю) ,
в математике - предложение (утверждение) , устанавливаемое при
помощи доказательства (в противоположность аксиоме) . Теорема
обычно состоит из условия и заключения. Напр. , в теореме: если в
треугольнике один из углов прямой, то два других - острые, после
слова "если" стоит условие, а после "то" - заключение. ;

А доказательство теоремы - это доказание верности или неверости

данной теоремы.
Итог:
Теорема – утверждение, устанавливающее
некоторое свойство и требующее
доказательства. Теоремы называются также
леммами, свойствами, следствиями,
правилами, признаками, утверждениями.
Доказывая теорему, мы основываемся на
ранее установленных свойствах; некоторые
их них также являются теоремами. Однако
некоторые свойства рассматриваются в
геометрии как основные и принимаются без
доказательств.

Аксиома – утверждение, устанавливающее

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