公理を定めただけで具体的な計算方法を定めていない段階を
第一段階と呼ぶことにします。
公理を定めて、かつ具体的な計算方法を定めた段階を
第二段階と呼ぶことにします。

行列の分配法則の場合
A(B+C)=AB+AC
これは第一段階です。何故なら行列の積の具体的な計算方法は
まだ定まっていないからです。
そして行列の積の計算方法を定義してやっと第二段階に行くわけです。

実数の分配法則の場合
a(b+c)=ab+ac
これを使って
(-1)(-1)=1
という式を導きました。
この段階は何段階ですか？
第一段階でしょう。
つまり左辺の(-1)(-1)というものは、まだ具体的な計算方法は決まっていないのです。
ところで右辺を見てください。1となっています。
じゃあ(-1)(-1)は1と定義するのが自然だろう。
ここで初めて第二段階に行ったわけです。

これが私の(-1)(-1)=1は定義であるとの主張です。
もちろん現在の私は、定義であるとの主張、定理であるとの主張、両方好きな方で良いという
一般的な立場をとっております。
私は間違ってませんでした。