Á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 80:
#<math>\forall x,y\in\mathbb{N}_0\ S_x=S_y\implies x=y</math>
#: O sucessor de um elemento é único.
#<math>
#: '''[http://pt.wikipedia.org/wiki/Indu%C3%A7%C3%A3o_matem%C3%A1tica Indução matemática]''': se 0 está dentro do conjunto e ''n'' esta dentro do conjunto, implica que o seu sucessor também estará dentro do conjunto e, em seguida, todos os números naturais estão dentro do conjunto.
| |||