如果關於 1) 加法單位元素
2) 加法反元素
3) 加法結合律
的公理已經給定, 可以這樣證明:
-(-x) = -(-x) + 0 (加法單位元素的公理)
= -(-x) + ((-x) + x) (加法反元素的公理)
= (-(-x) + (-x)) + x (加法結合律的公理)
= 0 + x (加法反元素的公理)
= x. (加法單位元素的公理)
--
我是新手@@, 感謝各位的指教 <(_ _)>
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.117.184.78