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

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

σ = {<}.

σ = {<}.

Может быть, причина нашего неуспеха в попытке определить аксиоматически натуральный ряд вызвана именно бедностью сигнатуры? Давайте расширять сигнатуру и наблюдать, чтó при этом будет происходить.

Сперва добавим в сигнатуру константу «0» (для обозначения наименьшего, относительно порядка «<», элемента) и штрих «'» для обозначения операции непосредственного следования. На Натуральном Ряде N эти объекты подчинены аксиомам (свойствам) 7 и 8 (сравните свойства 4 и 5, которые вытекают из свойств 7 и 8).

7. ∀y (0 = у ∨ 0 < у).