Calcule usando a definição de soma:
Passo 1
O enunciado pede para calcular a soma de dois números naturais: 3 e 1. O conteúdo é a definição de soma em Teoria de Conjuntos (ou Axiomas de Peano) para números naturais. Vamos usar os axiomas básicos de soma para resolver.
Passo 2
Usando os axiomas de soma de números naturais:
Aqui temos 1 = \mathrm{succ}(0). Então:
Pelo segundo axioma:
E pelo primeiro axioma 3 + 0 = 3. Logo:
Passo 3
Portanto, usando a definição de soma chegamos a 4.
Resposta
4