Энциклопедический словарь юного математика (Савин) - страница 9

Аксиома 1. Число игроков нечетно.

Аксиома 2. Каждый игрок участвует в четырех партиях.

Аксиома 3. В каждой партии участвуют два игрока.

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

Однако ученики не спешили выводить теоремы из этих аксиом: вдруг опять обнаружится противоречие. Учитель же заверил мальчиков, что, сколько бы теорем они ни выводили из этих аксиом, никогда противоречий не будет. Вот как он убедил их в этом.

Рассмотрим девятиугольник, в котором кроме сторон проведем девять диагоналей, соединяющих вершины через одну (рис. 2). Вершины девятиугольника будем считать «игроками», проведенные отрезки (стороны и диагонали) - «партиями», а концы соответствующего отрезка «игроками», участвующими в некоторой «партии». Мы получаем модель (или схему) интересующего нас турнира. Легко установить, что все четыре аксиомы здесь выполняются. Итак, удается построить модель, в которой выполняются все рассматриваемые аксиомы, причем эта модель построена из «материала» геометрии, т.е. науки, в непротиворечивости которой мы не сомневаемся.

Рис. 2

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

Вообще, пусть рассматриваются две теории P и Q, причем теория P задается аксиоматически (и в ее непротиворечивости мы заранее не уверены), а Q - это хорошо известная нам теория, в непротиворечивости которой мы не сомневаемся. Если из «материала» теории Q удается построить модель, в которой выполняются все аксиомы теории P, то этим непротиворечивость теории P будем считать установленной.

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