じゃあどうして
-*-＝+は定理だと言い張る人、
-*-＝+は定義だと言い張る人がいるんですか？
前スレのあの人達はいったいなんだったんですか？

「何が定理で何が定義で何が公理かはその人の自由」
このことがわかって無かった人達だからこそ
定理だ、いや定義だ、と言い争っていたんでしょう。

代数の群環体が得意な人の多くは「定理だ」と言い張っていた印象があります。
その人達は何故「定理だ」と言っていたのでしょうか。