06/11/18 23:09:44
>>65
>関数記号-とか*を無定義述語として導入するならまだわかるけど
>(-1)*(-1)全体で一つの無定義述語としてみるのはほとんど無理かと。
無定義述語とは無定義用語と同じ意味でしょうか？
例えば行列の積Ａ*Ｂはもともとは無定義用語だったのではないでしょうか？
無定義用語だったから、その計算方法を定義しなければならなかったのではないのでしょうか？
（縦と横を掛けて足す方法のことです）
Ａ*Ｂ全体で一つの無定義用語だったからこそ人間が定義する必要があったのです。