>>51
>a^0=1
これは左辺は未定義用語なんですよ。だから定義式なんです。

しかしある式が定義式か定理式かを見分ける方法を正直言って私は知りません。
(-1)(-1)=+1
の左辺が未定義用語なのか既定義用語なのか、よくわかりません。

まず最初に正の数というものから数学を構築していき、そして負の数というものに
その範囲を広げていった場合、
(-1)(-1)というものは未定義用語でしょう。
だとするなら(-1)(-1)=+1は定義式でしょう。

しかし、正から負へ拡張する方法で数学を構築するのではなく
正も負ももともとあるという前提のもとで数学を構築するのであれば
(-1)(-1)は既定義用語でしょう。
その場合、(-1)(-1)=+1は定理式ということになるでしょう。