How did the proofs of uniqueness of additive inverses originate historically?

I have encountered various abstract algebra resources that prove the impossibility of number systems with plural additive inverses for a given element, generally through the substitution property of equality. Historically, did these proofs arise in response to ill-conceived number systems with multiple additive inverses or are they more so used to illustrate limitations on the properties of certain algebraic structures?

• I think these elementary exercises are just there to give the student practice with the terminology and what it means. It is sort of curious that, while rings can have noncommutative multiplication, commutativity of addition is actual forced by the other ring axioms. See math.stackexchange.com/questions/346375/… – KCd Jan 6 at 20:19
• Uniqueness of the inverse follows from just the group axioms. Since rings are defined to be commutative groups with respect to addition the question should be who first proved uniqueness of the inverse in groups. Hölder mentions that it follows in Zurückfühnmg einer beliebigen algebraischen Gleichung auf eine Kette von Gleichungen (1889), he uses the cancelation law as one of the axioms, see Wussing, The Genesis of the Abstract Group Concept, p.245. – Conifold Jan 7 at 22:57
• @Conifold Thank you for the citation. – bblohowiak Jan 7 at 23:21
• In the early 20th century, lots of parts of algebra were axiomatized. In connection with that, there would be efforts to see whether the axioms were independent or redundant. – Gerald Edgar Jan 8 at 1:23