Á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
m Desfeita a edição 105387 de 201.67.82.152 (Usuário Discussão:201.67.82.152) |
|||
Linha 141:
#:Adicionando 1 de um modo único
#<math>(1\in A)\and(x\in A)\implies (x+1)\in A\implies \mathbb{N}\subset A </math>
#:'''[[w:Indução matemática|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
=== Axiomas de Zermelo-Fraenkel ===
| |||