Álgebra abstrata/Números naturais: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Linha 95:
*: A soma de um número x com o sucessor de um número y é o sucessor da soma de x e y
==== Multiplicação ====
*:<math>x\times 0=0</math>
*: O produto de um número com zero é zero
*:<math>x\times S_y=x+xy</math>
*: O produto de um número x com o sucessor de um número y é a soma de x com o produto de x e y
Não é necessário conhecer estas definições para saber o que adição, multiplicação e ordenação significam. No entanto, estas definições mostram como é possível construir adição, multiplicação e ordenação dos axiomas de Peano.