Prenons un plan (ou un espace) infini (donc ne possédant aucune borne).
Prenons un point quelconque de ce plan (ou de cet espace).
Comment définir l'opposé de ce point ?
L'opposition n'est qu'une question de point de vue.
Mathématiquement (et grossièrement) pour une opération R (qu'on supposera symétrique pour simplifier l'explication) s'appliquant à au moins deux éléments d'un même ensemble E, un opposé ne peut exister que s'il existe un élément n de E tel que pour tout élément x appartenant à E "x R n = x" l'opposé de x est alors l'élément y tel que "x R y = n".
De cette définition on peut en déduire les deux principales qui nous intéressent :
Logiquement l'opposé d'une proposition A est une proposition B telle que si A est vraie alors B est fausse et si A est fausse alors B est vraie.
Syntaxiquement il s'agit que d'ajouter une négation globale au sens de la phrase.
En d'autres terme l'opposé de quelque chose n'a aucun sens si on ne connait pas le contexte de quelque chose.
Pour l'opposé de l'opposé c'est encore plus drôle.
Reprenons la définition mathématique et définissons un ensemble E et une opération * (ExE)=>E
soit m tel que pour tout x dans E m*x=x
soit n tel que pour tout x dans E x*n=x
n=m*n=m donc il ne peut y avoir qu'un seul neutre pour une opération (c'est déjà un bon début).
Imaginons que l'opération est inversible maintenant
Donc x*n=x => x*x^-1=n (sans cette condition on ne peut assurer l'existence d'un opposé)
notons xd et xg les nombres tel que x*xd=n et xg*x=n (je rappelle pour information que pour l'opération diviser x/xd n'est que rarement égal à xd/x, d'où la nécessité de prendre deux nombres différents)
xg=xg*n=xg*(x*xd)=xg*x*xd=(xg*x)*xd=n*xd=xd (dans le cas distribuable)
Il n'y a donc qu'un seul opposé (ce qui est déjà bien).
Dans le cas non distribuable ( xg*(x*xd)!=(xg*x)*xd ) on ne peut pas conclure quant à l'unicité de l'opposé.
Dans le premier cas l'opposé de l'opposé est l'élément initial.
Dans le second cas il y a potentiellement de multiples opposés donc on ne peut rien dire (sauf que l'élément initial est bien un des opposés de ses opposés).