Diferencia entre revisiones de «Número natural»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.173.28.5 (disc.) a la última edición de AVBOT |
|||
Línea 44:
Formalmente, un conjunto <math>x</math> se dice que es un ''número natural'' si cumple
# La relación <math>\in _x = \left\{\left(a,b\right)\in x\times x \mid a\in b\right\}</math> es un [[orden total]] estricto en <math>x</math> # Todo subconjunto no vacío de <math>x</math> tiene elementos mínimo y máximo en el orden <math>\in _x</math>
|