Аличие единичного элемента n = 1 (множество натуральных чисел имеет как минимум 1 элемент) наличие функции s(n) такой, что s(n) всегда принадлежит n (для каждого элемента есть способ задать минимум один соседний элемент) отсутствие элементов, таких что s(n) = 1 (для единичного ровно один) отсутствие элементов, таких что для элементов n1,n2 s(n1) = s(n2) (для прочих не более двух, и способ этот однозначен для всех элементов n) отсутствие элементов, таких что зависящий от элемента n предикат p(n) ложен если p(1), p(n) и p(s(n)) истинны. (прочие же свойства натуральных чисел одинаковы, какие бы натуральные числа мы не брали, и какие бы их свойства не исследовали
( √ 54 − √ 24 ) × √ 6=√30х√6=√36=6