>樹形図Ａでは-*-＝+は定理である
>樹形図Ｂでは-*-＝+は定義である
>この２つの樹形図ひっくるめて数学なんですよ。

違う、ひっくるめたらメタになる。