Episode I

Alice és Bob

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

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

a+b = b+a