Diferencia entre revisiones de «Matemáticas/Generalidades/Conjuntos de números»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Sin resumen de edición |
||
Línea 16:
# <math>0\in\mathbb{N}</math>
# para todo <math>n\in\mathbb{N}</math>, existe <math>n^{+}1\in\mathbb{N}</math>, llamado ''sucesor'' de <math>n</math>
# <math>0\neq n^{+}1</math> para todo <math>n\in\mathbb{N}</math>
# si <math>~m^{+}=n^{+}</math>, entonces <math>~m=n</math>
# si <math>S\subseteq\mathbb{N}</math> con <math>0\in S</math>, y si para todo <math>n\in S</math> se tiene que <math>n^{+}\in S</math>, entonces <math>S=\mathbb{N}</math>.
| |||