„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
a Még egy(szer), még inkább, még jobban külön, mégpedig egybe (kézi botszerkesztés) |
→Peano-féle axiómák és axiómasémák: 6. pont-javítva: másik tagnak az összeghez (helyesen: szorzathoz) való még egyszeri... |
||
32. sor:
# <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.
# <math>\scriptstyle{\forall x \forall y (x\cdot sy)=(x\cdot y)+x}</math> – A rákövetkezővel való szorzás visszavezethető a másik tagnak az
# <math>\scriptstyle{(\varphi_x[0]\land\forall x (\varphi \rightarrow \varphi_x[sx]))\rightarrow \forall x \varphi}</math> – A [[teljes indukció]] axiómasémája: Ha a <math>\scriptstyle{\varphi}</math> formula igaz a nullára, továbbá a formula igazsága a rákövetkezés során öröklődik, akkor ez a formula minden számra igaz.
| |||