-
порядковые типы и натуральные числа
Порядок на множестве S - это бинарное отношение < на S такое, что оно 1) антисимметрично: для любых x и y из S из x < y следует не y < x;…
-
аксиомы Пеано натурального ряда и арифметики
Инициальная модель Пеано определения 0 -- [натуральное] число число x' [прямой] потомок числа x число x [прямой] предок числа x'…
-
онтология и натуральный ряд: Начало
Очевидно, члены натурального ряда, кроме нуля, представляют собой вечные сущие сущности - структуры порядка, т.е. натуральные числа. однако…
- Post a new comment
- 1 comment
- Post a new comment
- 1 comment
