前スレで私が
「矢野健太郎という数学者が-*-＝+は定義だと書いていた覚えがある」
と書いたらものすごい反発がありました。
「そんなはずはない、ありえない」などのような。
つまりこの人達は
「-*-＝+は公理系に関係なく必ず定理である」
と思っていたと言うことでしょう。

「-*-＝+は公理系に関係なく必ず定理である」
についてはどう思われますか？
私の樹形図理論と真っ向からぶつかる見解ですが。