>>713 論理的に厳密化するにしても、本質的に異なる
モデルが複数あるわけです。どれが良いかは数学センスが
ないと選べない。

また本質的に同じであっても、見かけはずいぶん異なるモデルがある。
それを独自の記号化で語るのではなく、従来の数学モデルで
同じ構造を使う言葉があれば、それに合わせることによって、
数学の資産が使用可能になる