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

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

【定理？】負×負＝正【定義？】 - 暇つぶし2ch128:１３２人目の素数さん
06/11/24 09:43:54
>>127
＞例えばロビンソン算術では、分配法則は定理になる。

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

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