行列同士の積を定理として導くって具体的には何を言ってるの？
「行列同士の積に関する定理」という意味なら色んなものが考えられるが。
負同士の積を定義とする、はもっと意味が分からない。

それと、どういう立場で答えるかにもよるのだが、
Fermatの最終定理を公理とすることも可能だ、に対する>>982の答えはyesなのかねnoなのかね。
もしかしてFLTってどんな定理か分からないからどういうこと言ってるか分からないのかな。
http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
正しい命題なんだから当然yes、というそういう立場では、正しい命題は何だって、
当然定理として導くことも出来れば公理とすることも出来る。
でも普通はそんなことしないし、常識的にはnoと答えてしまいたいね。

たぶん>>982は、yesとか答えると、今度は「どんな公理系の下でも」
これは定義だとか言って憚らない気がするんだよなあ、、お前らが定義だと言ったんだとか言って。