Álgebra abstrata/Números naturais: diferenças entre revisões
| [edição não verificada] | [edição verificada] |
Conteúdo apagado Conteúdo adicionado
Correção de typos e formatação geral, typos fixed: à uma → a uma utilizando AWB |
m →Axiomas de Peano: colocando () esquecidos |
||
Linha 111:
#<math>\forall x,y\in\mathbb{N}\ S_x=S_y\implies x=y</math>
#: O sucessor de um elemento é único.
#<math> (0 \in A) \and ((x \in A) \implies ( S_x \in A )) \implies \mathbb {N} \subset A </math>
#: '''[[w:Indução matemática|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.
| |||