Изменения

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