Изменения

Пусть <tex>n+ — </tex> следующее за n натуральное число, например <tex>0+ = 1, 1+ = 2. Пусть a + 0 = a.</tex> Тогда общая сумма определяется рекурсивно: <tex>a + (b+) = (a + b)+. Отсюда 1 + 1 = 1 + 0+ = (1 + 0)+ = 1+ = 2.</tex>

==Деление чисел с остатком==