>>150-151 猫さん

f,g導入はお話している相手が
「数学的には同じである。それは入出力対応が同じだから。」
と言いだしたのでとりあげました。
猫さんのコメントを加味した私の考えを表現しますと、
「入出力対応が同じという視点だけが数学的ではない。」
「定義の仕方が違えば、数学においては、
別物と考えていて、入出力対応が同じであることを、数学の理論で証明することさえ
あって、そこでようやく入出力対応が同じであることが証明されていく。」
ということのようです。
最初から同じだというなら証明はしなくて良い。」はずです。