实数系的那些公理凝缩成一句话,就是满足完备性质[1]的有序域,归根结底就是域。所以这个问题的本质就是在域中零乘任何数都等于零。证法如下:
然后两边同时加 的加法逆就有 。自己思索一下每一步分别用了哪一条域的公理。