Hieman tarkemmin tarkasteltuna aksioomat näyttävät olevan välinpitämättömiä ensimmäisen alkion tulkinnan suhteen; vasta kun määritellään yhteenlaskun operaatio, ero tulee esiin. Ero syntyy yhteenlaskuoperaation määritelmän valinnasta. Näin ollen näyttää siltä, että tässä artikkelissa esitetään epätosia väitteitä Peanon aksioomeista (joissa ei määritellä yhteenlaskuoperaatiota, vaan ainoastaan seuraajafunktio). Tämä näyttää olevan merkittävä vääristely; olisin kiitollinen kommentista niiltä, jotka ovat perehtyneempiä työskentelemään muodollisemmin tällä alalla. -Quondum