История изменений
Исправление beastie, (текущая версия) :
Кстати, довольно таки элементарно.
Пусть у нас будет упорядоченное множетсво, назавём его алфавитом.
Определим первый эемент, как нейтральный, пусть это будтет 0
Определим операцию +1, которая возвращает следующий элемент последовательности.
Далее определим рекурсивно сложение:
- +: 0, x → x
- +: n+1, x → +(n, x) +1
Умножение выводится аналогично.
PS: надеюсь ничего не попутал, матан давно был. ;)
Исходная версия beastie, :
Кстати, довольно таки элементарно.
Пусть у нас будет упорядоченное множетсво, назавём его алфавитом.
Определим первый эемент, как нейтральный, пусть это будтет 0
Определим операцию +1, которая возвращает следующий элемент последовательности.
Далее определим рекурсивно сложение:
- +: 0, x → x
- +: n+1, x → add(n, x) +1
Умножение выводится аналогично.
PS: надеюсь ничего не попутал, матан давно был. ;)