Episode I

Alice és Bob

. rész: Peano-szorzás asszociativitása

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

(a\cdot b)\cdot c = a\cdot (b\cdot c)