定理と定義の交換可能性については忘れてください。
また、数学は必要十分条件のみでの変形であるということも忘れてください。
前スレでその間違いは認めたはずです。

新たに導入した数学の樹形図という概念でものごとを考えてみてください。
「-*-＝+は定理である」
とは、ある樹形図でのみの話であって
別の樹形図では定義にもなるし、さらに別の樹形図では公理にもなる
こういう話なんですよ。

そういえば前スレでは
「定理である」とか「定義である」とか
断定していたレスが多かったのですが、
このスレになってからは、だんだんとそういうレスは減ってきましたね。
確実にパラダイムシフトしてると感じます。