Muutama kysymys Nicolasille: ehdotetun määritelmän perusteella näyttää siltä, että et ehdota, että , koska jos niin olisi, sinun ei tarvitsisi ottaa käyttöön Q:ta. Onko näin? Silloin minusta on luonnollista, että myös on erilainen kuin nolla. (Ajattelen vapaata abelialaista ryhmää, jonka tuottavat reaaliluvut ja joka on jaettu jollain alaryhmällä, jonka alkioiden pitäisi olla yhtä kuin 1, jos se auttaa). Mutta minua hämmentävät aksioomasi. Olen tietoinen siitä, että käytän hieman enemmän kuin luettelossasi olevia aksioomia, mutta motivaatiostasi käy ilmi, että hyväksyt implisiittisesti sellaiset säännöt kuin assosiatiivisuus ja kunkin alkion käänteisluvut. Olisin kiinnostunut tietämään tarkalleen, missä vaiheessa laskelmaani rikon intuitiotasi. Parasta,