„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
Syp (vitalap | szerkesztései) iw |
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 |
||
20. sor:
# 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>
# A nulla hozzádása nem változtat a természetes számokon: <center><math>\forall x \quad x+0=x</math></center>
# 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
# Tetszőleges természetes számot nullával szorozva nullát kapunk: <center><math>\forall x \quad x\cdot 0=0</math> </center>
# Teteszőleges <math>x\,</math> természetes számot egy másik <math>y\,</math>természetes szám rákövetkezőjéval szorozva <math>x\cdot y+x</math>-et kapunk:<center><math>\forall x\, \forall y \quad x\cdot S(y)=x\cdot y+x</math> </center>
|