Diferencies ente revisiones de «Númberu natural»

Contenido eliminado Contenido añadido
m iguo parámetru de plantía: fechaacceso => fechaaccesu
m iguo testu: dáu => dau
Llinia 33:
# Tou númberu mayor que 1 (o mayor que 0 en casu de considerar el 0 como natural) va dempués d'otru númberu natural.
# Ente dos númberos naturales siempres hai un númberu finito de naturales (interpretación de conxuntu non trupu).
# DáuDau un númberu natural cualesquier, siempres esiste otru natural mayor qu'esti (interpretación de conxuntu infinitu).
# Ente'l númberu natural <math>a</math> y el so socesor <math>a+1</math> nun esiste nengún númberu natural.
 
Llinia 46:
* El 1 nun ye'l socesor de nengún númberu natural.
* Si hai dos númberos naturales ''n'' y ''m'' col mesmu socesor, entós ''n'' y ''m'' son el mesmu númberu natural.
* Si'l 1 pertenez a un conxuntu de númberos ''A'', y amás siempres se verifica que: dáudau un númberu natural cualesquier que tea en ''A'', el so socesor tamién pertenez a ''A''; entós ''A'' contién al conxuntu de tolos númberos naturales. Este ye l'axoma d'inducción, que prinda la idea d'[[inducción matemática]].
 
== Versión de Bush-Obreanu ==