Episode I

Alice és Bob

. rész: Peano-összeadás kommutativitása – lemma

Az \N halmaz tetszőleges a és b elemeire igaz az alábbi összefüggés:

a+s(b)=s(a)+b