06/11/21 23:27:30
「数学の樹形図」という言葉を導入します。
根っこには公理、定義があります。
幹、枝、葉、これらは定理です。
ふつうの数学では根っこにab=baやa(b+c)=ab+acなどがあります。
この普通の数学の樹形図を、数学の樹形図Ａとします。
そして数学の樹形図Ａの葉を何枚かを取ってきて
それを根っこにして数学を再構築するとします。
すると新たな樹形図が出来るわけです。
これを数学の樹形図Ｂと呼びます。
つまりこういうことなんですよ。
ある人は-*-＝+を定理だと言う。
ある人は-*-＝+を定義だと言う。
食い違うのは当たり前なんですよ。
何故ならその人が採用している数学の樹形図が違うんですから。
樹形図Ａでは葉（定理）かもしれないけど
樹形図Ｂではそれは根（定義、公理）なんですよ。
これならみなさんでもわかるでしょう。
そしてどの樹形図を採用するかはその人の自由なんです。
つまり「何が定理で何が定義で何が公理かはその人の自由」なんです。
このカッコでくくった部分が、
前スレ8月中旬から約3ヵ月かかってやっとたどり着いた結論です。