¿Entonces dices que no tienes demostrado que el opuesto es único?
Pero que si tienes demostrado que -(-a) = a.
Lo que has escrito es una cadena de igualdades falsa.
Pues lo del opuesto único es una propiedad de todos los grupos, es más una demostración algebraica que de análisis.
Supongamos r tiene dos opuestos s y t
r + s = 0
r + t = 0
sabemos que (-r) + (-t) es un opuesto de (r+t) y que el opuesto de 0 es 0 luego
(-r) + (-t) = 0
Sumamos la primera y esta
(r+s) + [(-r) + (-t)] = 0 + 0
Y aplicando la asociativa y conmutativa se llega a
s + (-t) = 0
sumando el inverso de -t en cada lado
s + (-t) + [-(-t)] = -[-(t)]
s + 0 = t
s = t
Luego el inverso es único y entonces sirve lo que hice en la respuesta anterior.