„Peano-aritmetika” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
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 |
|||
16. sor:
==Peano-féle axiómák==
# A nulla
# 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>
|