или тут: http://news.tut.by/politics/433192.html
___________________________________
Юрий Шевцов =
Порядок на множестве S - это бинарное отношение < на S такое, что оно 1) антисимметрично: для любых x и y из S из x < y следует не y < x;…
Инициальная модель Пеано определения 0 -- [натуральное] число число x' [прямой] потомок числа x число x [прямой] предок числа x'…
Очевидно, члены натурального ряда, кроме нуля, представляют собой вечные сущие сущности - структуры порядка, т.е. натуральные числа. однако…