Diferència entre revisions de la pàgina «Nombre natural»

m
Corregit: sucessor > successor
m (Revertides les edicions de 88.6.82.149 (discussió) a l'última versió de PereBot)
m (Corregit: sucessor > successor)
 
:S'estableix 0 := { }, el [[conjunt buit]],
:i es defineix ''S''(''a'') = ''a'' ∪ {''a''} per a cada conjunt ''a''. ''S''(''a'') és el successor de ''a'', i ''S'' es diu la funció sucessorsuccessor.
:Si s'accepta l'[[axioma de l'infinit]], llavors el conjunt de tots els nombres naturals existeix i és la intersecció de tots els conjunts que contenen el 0, els quals són tancats sota la funció successor.
:Si el conjunt de tots els nombres naturals existeix, llavors satisfà els [[axiomes de Peano]].
1.123.537

modificacions