„Peano-aritmetika” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
28. sor:
# <math>\scriptstyle{\lnot \exists x sx = 0}</math> – A nulla semminek sem rákövetkezője.
# <math>\scriptstyle{\forall x\forall y (sx=sy\rightarrow x=y)}</math> – Amiknek a rákövetkezői is azonosak, azok maguk is azonosak. (Azaz
# <math>\scriptstyle{\forall x (x+0)=x}</math> – A nullával jobbról való összegzés hatástalan. (Azaz a nulla [[ Zéruselem#Féloldali zéruselemek|jobboldali]] [[Gyűrű (matematika)| additív]] [[Zéruselem| neutrális
# <math>\scriptstyle{\forall x \forall y (x+sy)=s(x+y)}</math> – a rákövetkezővel való összegzés visszavezethető az összeg rákövetkezőjére.
# <math>\scriptstyle{\forall x (x\cdot 0)=0}</math> – A nullával jobbról való szorzás nullát ad.
|