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

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

128:１３２人目の素数さん
06/11/24 09:43:54
>>127
＞例えばロビンソン算術では、分配法則は定理になる。

うおっ、いきなり大嘘書いちまった。
実は定理にならねえ（汗

帰納法を導入したペアノ算術では、定理になる。