>1 + 1 = 1 + succ(0) = succ(1 + 0) = succ(1) = 2 это_база.webm да. гугли successor function на n и рекурсию. x + 0 = x x + succ(n)\t= succ(x + n) 1 + 1 = 1 + succ(0) = succ(1 + 0) = succ(1) = 2 ч.т.д.