Todo número inteiro tem um sucessor determinado por k + 1 (k é o número). Mais 1 porque 1 é a unidade básica dos inteiros, é o menor valor possível de ser aumentado.
Então P(1) = sucessor de 1 = 1 + 1
O sucessor de 1 é 2, porque 1 + 1 é 2.
Então 2 + 2 = 2 + (1 + 1), que por sua vez é (1 + 1) + (1 + 1)
1 + 1 é igual ao sucessor de 1, ou seja, 2. Portanto:
2 + 1 + 1
2 + 1 é o sucessor de 2, ou seja, 3:
3 + 1 é o sucessor de 3, ou seja, 4.
Tá bom?