УРАЛЬНЫЕ ЧИСЛА

155

Таким образом, система аксиом — [V натуральных чисел полна.

О значении этого факта уже говорилось в S Н. Только благодаря

полноте системы аксиом 1— IV мы можем с равным успехом поль-

зовать»ся любой интерпретацией натуральных чисел (применяются

ли римские или арабские цифры, десятичная или двоичная система

счисления).

Независимость. Более простым и имеющим скорее практическое,

чем принципиальное значение, является вопрос о независимости

аксиом. При выборе той или иной системы аксиом для данной тео-

рии желательно достичь минимального числа положений, принимае-

мых за аксиомы. Если, например, одна из аксиом в действитель-

ности является теоремой, т. е. её можно доказать с помощью

остальных аксиом, то нет надобности сохранять её в списке аксиом.

О пр е деле ние З. Система аксиом называется независимой,

если ни одна нз аксиоя не является следствием остальных.

Доказательство независимости системы аксиом проводится так.

Для каждой аксиомы строится интерпретация, где выполнены все

остальные аксиомы, тогда как данная аксиома не выполняется.

Если бы эта аксиома была следствием остальных, то такая интер-

претация была бы, очевидно, невозможна.

Докажем независимость системы аксиом 1 — lV натурального

ряда. Заметим, что доказательство независимости аксиомы имеет

ту особенность, что если аксиома не выполнена, то аксиома lV

становится бессодержательной, так как множеств М, содержащих

единицу, вообще не существует, ибо не существует числа единицы.

Поэтому для доказательства независимости аксиомы 1 от остальных

аксиом мы несколько видоизменим формулировку аксиомы IV, заме-

нив её следующей:

IV'. Любое непустое янотсество М натуральных чисел, обла-

Дающее свойствами: А) если суцествует число 1, не следующее

ни за какня Другим цнслом, то оно принадлежит М; Б) если

число а принадлежит М, то и следующее число а' принадлежит

М— содержит все натуральные числа.

Очевидно, что система аксиом 1— IlI, IV эквивалентна системе

1— lll, lV', т. е. из первой системы следуют аксиомы второй, и

Ill, IV следует lV' и из

обратно (достаточно убедиться, что из

— IIl, lV' следует IV). Если одна из эквивалентных систем непротиво-

речива или полна, то то же верно и для другой. Итак, система аксиом

— lIl, lV' также непротиворечива и полна. Докажем её независимость.

1. Независимость аксиомы 1. Пусть N— множество трех

элементов а, Ь, с с таким определением отношения «следует» 1)

а

Можно взять любое

расположенных в круговом

конечное множество с числом элеме[ттов

порядке.