>>344
負の数は足し算に関する逆元として考えて、
掛け算以外の実数の性質が分かっているものとして、
ここで初めて負の数を含む掛け算を定義しようってことか？

だとすると、自然数から整数に拡張する方法でよくある方法の１つと同じだな。
「逆向き」を場合わけを使って述べるなら、前スレ>>930とほぼ同じ。
(-1)*(-1)=1は定義からすぐに導かれる定理、ということもそこで言われてる。
違うのは、a*bを定義するのにまずaが1,-1のときだけ定義して、
一般の場合はそれをベースに拡張する(んだよな？)という点か。