Á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 42:
#:<math>\forall n,m\in\mathbb{N},\ m+n=m+p \Rightarrow n=p</math>
# Tricotomia
#:<math>\forall p,q,m,l\in\mathbb{N},\ (m=n) \or (n+q=m) \or (n=m+p) </math>
# Monotonicidade
#:<math>\forall n,m,l\in\mathbb{N},\ (n<m)\Rightarrow n+l<m+l </math>
| |||