Calcule usando a definição de soma:
Passo 1
Estamos somando os naturais 1 e 2 usando a definição recursiva de soma de Peano.
A definição de soma recursiva é:
Base: para todo n,
A definição de soma recursiva é:
Base: para todo n,
Passo recursivo: para todo n e m,
Passo 2
Representamos 1 e 2 pelos sucessores de 0: 1 = S(0) e 2 = S(S(0)). Então aplicamos recursivamente:
Passo 3
Como S(1) = 2, temos S(S(1)) = S(2) = 3.
Resposta
3