1.3. Как возникают аксиоматические теории.

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

Первый путь состоит в том, что та или иная математическая теория, достигнув достаточно высокого уровня развития, принимает характер аксиоматической теории. Именно таким путём были аксиоматизированы следующие математические теории: арифметика (на основе системы аксиом Дж. Пиано), геометрия (на основе разнообразных систем аксиом, в частности, Д. Гильберта, Г. Вейля, М. Пиери и т.д.), теория вероятностей (аксиоматика А.Н. Колмогорова) и другие.

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