【定理？】負×負＝正【定義？】

【定理？】負×負＝正【定義？】 at MATH

65:１３２人目の素数さん
06/11/17 23:44:28
関数記号-とか*を無定義述語として導入するならまだわかるけど
(-1)*(-1)全体で一つの無定義述語としてみるのはほとんど無理かと。

(-1)*(-1)以外の掛け算（ 2*(-5）とか 3*4 とか）は扱わない、という方針ならまた別だけど
そんなん掛け算じゃないし。

定義式だとか定理式だとかが>>58が勝手に独自に定義した
専門用語なら話は別なのかもしれないけどね。

次ページ

続きを表示

1を表示