【定理？】負×負＝正【定義？】

「数学の樹形図」という言葉を導入します。
根っこには公理、定義があります。
幹、枝、葉、これらは定理です。
ふつうの数学では根っこにab=baやa(b+c)=ab+acなどがあります。
この普通の数学の樹形図を、数学の樹形図Ａとします。

そして数学の樹形図Ａの葉を何枚かを取ってきて
それを根っこにして数学を再構築するとします。
すると新たな樹形図が出来るわけです。
これを数学の樹形図Ｂと呼びます。

つまりこういうことなんですよ。
ある人は-*-＝+を定理だと言う。
ある人は-*-＝+を定義だと言う。
食い違うのは当たり前なんですよ。
何故ならその人が採用している数学の樹形図が違うんですから。

樹形図Ａでは葉（定理）かもしれないけど
樹形図Ｂではそれは根（定義、公理）なんですよ。

これならみなさんでもわかるでしょう。

そしてどの樹形図を採用するかはその人の自由なんです。

つまり「何が定理で何が定義で何が公理かはその人の自由」なんです。

このカッコでくくった部分が、
前スレ8月中旬から約3ヵ月かかってやっとたどり着いた結論です。