Question

Numero natural: O que seria o modelo de Peano?

Answer 1

Resposta:

Olá

Explicação passo-a-passo:

Um modelo do sistema aritmético de Peano é o seguinte:

A cada tripla <N, 0, S> atribuí a tripla <N, 0, *> dos termos primitivos do sistema PA, em que N é um conjunto infinito, 0 ∈N, * é função unária e S: N → N satisfaz os axiomas de Peano.

1. 0 ∈ N,

2. n* ∈ N,

3. n* ≠ 0,

4. m* = n* ⇒ m = n,

5. 0 ∈ X ∧ ∀k ∈ X (k* ∈ X) ⇒ N ⊆ X

Bons estudos