Сущность аксиоматического метода

Математика строится на основе понятий. Понятия бывают определяемые и неопределяемые. Под определением понимают точную формулировку того или иного понятия. Определить математическое понятие – это значит указать его характерные признаки или свойства, которые выделяют это понятие среди остальных. Обычный способ определения математического понятия заключается в указании: 1) ближнего рода, то есть более общего понятия, к которому относится определяемое понятие; 2) видового отличия, то есть тех характерных признаков или свойств, которые присущи именно этому понятию.

Пример 1. Определение: «Квадрат – это прямоугольник, у которого все стороны равны». Ближайшим родом, то есть более общим понятием является понятие прямоугольника, а видовым отличием будет указание, что у квадрата все стороны равны. В свою очередь для прямоугольника более общим понятием является понятие параллелограмма, для параллелограмма — понятие четырехугольника, для четырехугольника — понятие многоугольника и так далее. Но указанная цепочка не является бесконечной.

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

Связи и отношения между основными понятиями формулируются с помощью аксиом.

Аксиома — это математическое предложение, принимаемое в данной теории без доказательств.

К системе аксиом, на которой строится та или иная математическая теория, предъявляются требования непротиворечивости, независимости, полноты.

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

Система аксиом называется независимой, если ни одна из аксиом этой системы не является следствием других аксиом этой системы.

Система аксиом называется полной, если в ней доказуемо обязательно одно из двух: либо утверждение А, либо неА.

Предложение, которого нет в списке аксиом, должно быть доказано. Такое предложение называется теоремой.

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