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
ddddddddddd# Para cada <math>y\in x</math>, <math>y\subseteq x</math>
# 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>