youproof.orgDeep Math. Human Access.

11.4. Definíció

Természetes számok összeadása

Az N\N halmazon értelmezett, ++-szal jelölt kétváltozós műveletet összeadásnak nevezzük, amennyiben teljesülnek rá a következő tulajdonságok:

1.
Tetszőleges aa természetes szám esetén a+0=aa+0=a.
2.
Amennyiben valamely aa és bb természetes számokra az a+ba+b eredménye már ismert, úgy teljesül az a+s(b)=s(a+b)a+s(b)=s(a+b) egyenlőség.

A fentiekben 00 a nulla természetes számot, s(x)s(x) pedig az xx természetes szám rákövetkezőjét jelöli.

♣