I feel so honored. Yeah, the layman’s opinion is pretty much enough for the layman. For anyone who wants to see into the inner workings (though not as far as Principia Mathematica went or I’d be here until next Tuesday), read on.
The integers satisfy these rules, and my proof will follow from them. This means that anything else which satisfies these rules will also have “a negative times a negative equals a positive”.
[ol]
[li] There is an operation “+”, which satisfies these rules:[/li] [list=a]
[li] associative: (a+b)+c = a+(b+c) for all a, b, and c[/li] [li] identity: there is a “0” such that a+0 = 0+a = a for all a[/li] [li] inverse: for all a there is “-a” such that a+(-a) = (-a)+a = 0[/li] [li] commutative: a+b = b+a for all a and b[/li] [/ol]
[li] There is an operation "", which satisfies these rules:[/li] [list=a]
[li] associative: (ab)c = a(bc) for all a, b, and c[/li] [li] identity: there is a “1” such that a1 = 1a = a for all a[/li] [li] bilinear: a(b+c) = (ab)+(bc) and (a+b)c = (ac)+(bc) for all a, b, and c[/li] [li] commutative: ab = b*a for all a and b[/li] [/list]
[/list]
The identities are unique. Say 1 and 1’ were both multiplicative identities. Then
1 = 1*1’ = 1’
where the first equality is by the fact that 1’ is an identity and the second by the fact that 1 is an identity. The proof that 0 is unique is similar.
Inverses are unique. Say b and c are both additive inverses of a. Then
b = b+0 = b+(a+c) = (b+a)+c = 0+c = c
where justification of each equality is left to the reader.
Next, we show that 0*a = 0 for all a.
0a = (0a)+(a+(-a)) = ((0a)+a)+(-a) = ((0a)+(1*a))+(-a) = ((0+1)a)+(-a) = (1a)+(-a) = a+(-a) = 0
where again justification of each step is left to the reader.
Now, I assert that -a = (-1)*a. Indeed,
a+((-1)a) = (1a)+((-1)*a = (1+(-1))a = 0a = 0
and since additive inverses are unique, (-1)*a = a. Further, a similar argument shows that (-(-a)) = a.
Finally we may prove something near what the question asked: (-a)(-b) = ab. I’ll drop the parentheses where associativity lets me from here on
(-a)(-b) = (-1)a(-1)b = (-1)(-1)ab = (-(-1))ab = 1ab = ab
leaving us only to decide what we mean by “negative” and “positive”. I’ve left that part of the structure out, in case this is what the OP was really getting at. If you want me to go into it, though…