а физическом[152], а это разные вещи. Вообразим, отвлекаясь от реальности, что мы живём в совершенно конкретном трёхмерном Евклидовом Пространстве (мы опять употребляем прописные буквы, чтобы подчеркнуть уникальность этого пространства). Конечно, его нельзя определить никаким числом аксиом, а можно только «указать пальцем». С другой стороны, существуют многочисленные системы аксиом (наиболее известная из них принадлежит Гильберту [3]), определяющих это пространство «с точностью до изоморфизма». Взятое в кавычки выражение означает, что система аксиом определяет целый класс изоморфных между собой пространств, а наше «реальное» Евклидово Пространство – одно из них.

Вообще, никакая система математических аксиом никогда не определяет какую-либо структуру однозначным образом, в лучшем случае – с точностью до изоморфизма. (Мы говорим «в лучшем случае», поскольку бывают и весьма важные системы аксиом, определяющие класс неизоморфных структур. Например, аксиомы теории групп определяют математические структуры, называемые группами, но не все они изоморфны между собой.)

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

4. Можно ли аксиоматически определить понятие натурального ряда (со строчной буквы)?

Итак, приступим к попыткам определить аксиоматически понятие натурального ряда – структуры, изоморфной Натуральному Ряду. Как только произносится слово «изоморфизм», тем самым предполагается, что указано, какие отношения и операции должны сохраняться при этом изоморфизме. Следовательно, мы должны прежде всего точно указать, какие отношения и операции мы желаем рассматривать на Натуральном Ряду и изоморфных ему натуральных рядах. В число этих операций могут быть включены нольместные операции (т. е. индивидные константы; например, индивидную константу «ноль» можно рассматривать как нольместную операцию) и одноместные отношения (т. е. свойства). Указание этих выделенных операций и отношений в значительной мере произвольно. Например, можно рассматривать Натуральный Ряд (а значит, и любой изоморфный ему натуральный ряд): 1) как структуру лишь с отношением порядка «<», или 2) как структуру с выделенным элементом «ноль» и операцией «переход к следующему», или 3) как структуру, в которой помимо уже названных отношений и операций выделены ещё операции сложения и умножения.

Для наших целей нагляднее всего не задавать никаких операций, а задать лишь отношение порядка «<». Итак, мы рассматриваем каждый натуральный ряд как множество, на котором определено бинарное отношение порядка «<». Именно свойства такой математической структуры мы и будем исследовать.

Перейдём к перечислению этих свойств. Каждое свойство отношения «<» в произвольном натуральном ряду должно (в силу наличия изоморфизма) иметь место и в обычном Натуральном Ряду, когда отношение «<» понимается как обычное отношение порядка между натуральными числами. После этого замечания сформулируем несколько таких свойств.

1. Отношение «<» транзитивно. В символах:

2. Отношение «<» антирефлексивно. В символах:

3. Отношение «<» связно. В символах:

Эти три свойства в своей совокупности утверждают просто-напросто, что «<» есть отношение строгого линейного порядка.

Прежде чем двигаться дальше, остановимся и задумаемся: а зачем, собственно, мы перечисляем эти свойства? А вот зачем. Мы надеемся, что, перечислив некоторое число свойств, мы сумеем дать аксиоматическое определение натурального ряда. Более подробно, наш план таков. Сперва мы выписываем некоторое число характерных для Натурального Ряда свойств. Затем мы объявляем эти свойства аксиомами и определяем натуральный ряд как произвольную математическую структуру, удовлетворяющую выписанным аксиомам. Мы не претендуем на то, что ровно одно определённое множество с заданным на нём бинарным отношением «<» будет удовлетворять нашим аксиомам (такая претензия была бы совершенно нереальна), но претендуем на то, что все такие множества (с заданным на них отношением) окажутся изоморфными между собой. А поскольку наши аксиомы будут выполняться на Натуральном Ряду (так мы будем выбирать аксиомы), то Натуральный Ряд будет одной из попарно изоморфных структур, удовлетворяющих аксиомам, и, значит, все эти изоморфные между собой структуры будут изоморфны и Натуральному Ряду. Если нам удастся достичь изложенной только что цели, мы и будем считать, что сумели аксиоматически определить натуральный ряд.

Можем ли мы, имея в виду поставленную цель, довольствоваться тремя выписанными свойствами – аксиомами? Разумеется, нет. Этим аксиомам удовлетворяют все линейно упорядоченные множества, среди которых много неизоморфных и, следовательно, заведомо неизоморфных Натуральному Ряду N. Например, множество R всех действительных чисел с обычным отношением порядка будет удовлетворять выписанным трём аксиомам. Наблюдая совместно N и R, мы замечаем, что N имеет по крайней мере два свойства, которых нет в R. Вот они.

4. В N есть наименьший элемент. В символах:

5. В N за каждым элементом х непосредственно следует некоторый у. («Непосредственно» – это значит, что между х и у нет третьего элемента.) В символах:

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

Наличие этой, отличной от N, структуры (*), удовлетворяющей аксиомам 1–5, ещё не служит препятствием к тому, чтобы считать эти аксиомы аксиоматическим определением натурального ряда, ведь эта структура изоморфна N (и, таким образом, может признаваться натуральным рядом). Графическое изображение порядка на (*) (и на N) приведено на рис. 1.

Легко заметить, однако, что аксиомам 1–5 удовлетворяет и такая структура (т. е. множество плюс отношение порядка):

Графический образ этой порядковой структуры приведён на рис. 2.

В этой структуре у двух элементов (у 0 и 10) нет непосредственных предшественников. Запретим эту ситуацию следующей аксиомой 6.

6. Если у двух элементов х1 и х2 нет непосредственных предшественников, то они равны. В символах:

Аксиома 6 исключает структуру (**), но не исключает такой структуры:

Структура (***), очевидно, не изоморфна натуральному ряду. Её графический образ приведён на рис. 3.

Наша цель, подобно горизонту, отодвигается всё дальше и дальше… Оказывается, она вообще недостижима. Оказывается, имеет место следующий замечательный факт: сколько бы мы ни выписывали аксиом, использующих логические знаки, знак отношения «<» и переменные, пробегающие по элементам определяемой структуры, у совокупности выписанных аксиом всегда будет модель, не изоморфная натуральному ряду. Ввиду