„Peano-aritmetika” változatai közötti eltérés

Nincs méretváltozás ,  14 évvel ezelőtt
(Ha egy természetes számoz hozzáadjuk egy másik természetes szám rákövetkezőjét, akkor... a két szám rákövetkezőjének összegét kapjuk -> a két szám összegének a rákövetkezőjét kapjuk)
==Peano-féle axiómák==
 
# A nulla senkineksemminek sem a rákövetkezője. <center><math>\forall x \quad S(x)\neq0</math></center>
# Ha két természetes szám rákövetkezője megegyezik, akkor a két szám is megegyezik: <center><math>\forall x\,\forall y \quad (S(x)=S(y)\Rightarrow x=y)</math> </center>
# Minden nem nulla természetes szám valamelyik másik természetes szám rákövetkezője: <center><math>\forall x (x\neq0 \Rightarrow \exists y S(y)=x) </math> </center>
Névtelen felhasználó