>>192
> 数学⊃代数ですよね。
>だから代数でなりつといっていいなら数学でなりたつといってもいいのですよ。

「代数の分野で-*-＝+が定理である ならば 数学の分野で-*-＝+は定理である」
あなたが言ってるのはこのことですか？

しかし数学の中には-*-＝+が定義である数学もあるのですよ。
ですから、
「代数の分野で-*-＝+が定理である ならば 数学の分野で-*-＝+は定理である」
これは文章としては間違ってはいないけど、
私の言いたいことを網羅していない文章ですね。

樹形図Ａでは-*-＝+は定理である
樹形図Ｂでは-*-＝+は定義である
この２つの樹形図ひっくるめて数学なんですよ。
数学の集合の中では「-*-＝+は定理である」と「-*-＝+は定義である」
２つ同時に共存できてしまうんですよ。
あとは自分で考えてみてください。