Calcule usando a definição de soma:
3+1

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:
m + 0 = m
m + succ(n) = succ(m + n)
Aqui temos 1 = \mathrm{succ}(0). Então:
3 + 1 = 3 + succ(0)
Pelo segundo axioma:
3 + succ(0) = succ(3 + 0)
E pelo primeiro axioma 3 + 0 = 3. Logo:
succ(3) = 4

Passo 3

Portanto, usando a definição de soma chegamos a 4.

Resposta

4

Exercícios relacionados