>>87
あながち間違いとも言えないけど(特に行列はね)、
Rを連続の公理を満たす順序体として定義する立場(杉浦とか)だと、
マイナス×マイナスは定理として導かれます。