数论问题：为什么确定的a+确定的b=确定并且唯一的c

证明：反证法.假设a+b=d,且已知a+b=c，c不等于d。
由于，a=a，b=b恒等。由等式的基本性质，则a+b=a+b，与已知条件c不等于d矛盾，故确定的a+确定的b=确定并且唯一的c

人的经验,无需再证明.

这个是实数的公理之一