Man kan også tenke på -(minus)-operatoren som speiling av tallinjen om y-aksen. Altså at [tex]x \to -x[/tex]. Speiler man to ganger kommer man tilbake til der man var.
En aksiomatisk innfallsvinkel:
Hvis vi godtar følgende aksiomer:
1. a+b = b+a
2. Det eksisterer et tall 0 slik at a+0=a
3. Det eksisterer et tall (-a) slik at for hvert tall a er a+(-a)=0
Vi begynner med tallet (-a). Fra aksiom 3 er (-a)+(-(-a))=0. Legg så a til på begge sider:
(-a)+(-(-a))+a=0+a=a+0=a
Ved å bruke aksiom 1 og 3 har vi dermed at
(-(-a))=a
som var akkurat det vi ønsket oss fram til.
- - -
Jeg tenker som så at hvis man godtar kun de tre aksiomene ovenfor, så er man nødt til å godta at - -=+. Så er det bare å venne seg til det.
