Szerintem a -6 számot -6-ként kell kezelni.
Az érvem: még (egyetemen) algebrából tanultunk valami olyasmit, hogy hogyan lehet felépíteni axiomatikusan a természetes számokat, majd persze ezekből a többi számhalmazt. Abban volt egy olyasmi fogalom, hogy "rákövetkező", amelynek van néhány tulajdonsága, miszerint minden számnak pontosan egy rákövetkezője van és ha két szám rákövetkezője megegyezik, akkor a két szám is megegyezik. Ekkor elegendő az 1-es számot "definiálni". A kettő az 1-nek a rákövetkezője, és így tovább.
Ezekből az axiómákból (ill. amiket kihagytam) a kommutativitás, asszociativitás is levezethető.
Szóval ezzel csak azt akarom mondani, hogy nem feltétlen kötelező ennyire "axiomatizálni" a dolgokat, a -6-ot lehet egyszerűen -6-ként kezelni, mindenféle plusz körmönfont definíció nélkül.