11.6. Lemma
Lemma az összeadás kommutativitásához
Az \N halmaz tetszőleges a és b elemeire igaz az alábbi összefüggés:
a+s(b)=s(a)+b
Itt s(x) az x természetes szám rákövetkezőjét jelöli.
♣
11.6. Lemma
Az \N halmaz tetszőleges a és b elemeire igaz az alábbi összefüggés:
Itt s(x) az x természetes szám rákövetkezőjét jelöli.
♣