„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
64. sor:
|}
 
A Peano aritmetika egyik3. axiómája volt, hogy az <math>\scriptstyle{+}</math>-nak van (jobboldali) nulleleme. Levezethető továbbá a [[Kommutativitás | kommutativitás]], [[Asszociativitás | asszociativitás]] is, azonban ezmessze közeljárunk semattól, alkothogy az összes [[ Csoport | csoportotcsoportaxióma]] meg legyen, mivel szinte senkinek sincs [[Ellentett | inverze]] -- és ez rendben is van, mivel a [[Negatív és nem-negatív számok| negatív számokra]] nem akarjuk, hogy működjenek az axiómák.
 
A szorzásnak megfelelő <math>\scriptstyle{\cdot}</math>-ról is bizonyítható, hogy asszociatív, kommutatív és [[Zéruselem | egységelemes]]. Inverz itt is csak kivételes esetben van. Egyfajta osztást mégiscsak értelmezünk azonban majd, ez lesz az ún. maradékos osztás, ennek azonban inkább [[Számelmélet | számelméleti]], mint [[Algebra | algebrai]] jelentősége lesz.