Episode I

Alice és Bob

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

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

a+0=0+a