Á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 112:
#<math>\forall x,y\in\mathbb{N}\ x+1=y+1\implies x=y</math>
#:Adicionando 1 de um modo único
#<math>(1\in A)\and(x\in A)\implies (x+1)\in A
#:'''[http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_matem%C3%A1tica Indução matemática]:''' Se 1 é um elemento do conjunto A e para qualquer elemento x de A a soma de x com 1 também está no conjunto então todos os números naturais estão no conjunto A.
| |||