06/11/17 23:44:28
関数記号-とか*を無定義述語として導入するならまだわかるけど
(-1)*(-1)全体で一つの無定義述語としてみるのはほとんど無理かと。
(-1)*(-1)以外の掛け算（ 2*(-5） とか 3*4 とか）は扱わない、という方針ならまた別だけど
そんなん掛け算じゃないし。
定義式だとか定理式だとかが>>58が勝手に独自に定義した
専門用語なら話は別なのかもしれないけどね。
06/11/17 23:44:28
関数記号-とか*を無定義述語として導入するならまだわかるけど
(-1)*(-1)全体で一つの無定義述語としてみるのはほとんど無理かと。
(-1)*(-1)以外の掛け算（ 2*(-5） とか 3*4 とか）は扱わない、という方針ならまた別だけど
そんなん掛け算じゃないし。
定義式だとか定理式だとかが>>58が勝手に独自に定義した
専門用語なら話は別なのかもしれないけどね。