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

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

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

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

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

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

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

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