这种问题其实说起来会非常复杂,因为数学作为形式科学,有一个无法摆脱的束缚是“做不到无中生有”。所以物理可以通过实验无中生有地创造理论,而数学只能先假定一些结论是正确的,再依据这些假定发展理论。
因此到了实数的运算律问题上,如果想要证明运算律成立,也必须在证明之前预先假定一些结论。但是这带来的问题是,为什么我们不直接假定实数就是满足这些运算律呢?这其中涉及两个哲学问题。第一个问题是无矛盾性。当数学家创造一个理论的时候,需要尽可能确保这个理论是无矛盾的。如果你假定实数满足加法交换律结合律乘法交换律结合律,那你就很难知道这样的实数是否真的存在。所以为了一定程度上解决这些问题,数学家发展出了一些非常基础的理论,使得用常识几乎可以断定这样的理论并不蕴含矛盾,之后再使用这些理论证明其他的理论是无矛盾的。
另一个问题是定义是否具有普遍性,如果把数学定义的实数当作现实中实数在数学中的“模型”,就像人们可以把地球的数据输进电脑里以后就能研究地球气候,我们必须得确保电脑里的地球真正地反映了现实中的地球,因此只有真正显而易见的性质才适合被当做公理。
所以说最后的问题就是,题主觉得实数的运算规律显而易见么?如果问我的话,我会说很显而易见,或者至少正实数范围内的运算定律是显而易见的,因为实数可以用来描述面积。所以如果这么想的话,把实数运算定律作为不需要证明的公理也就是很自然不过的了。事实上也的确是这么做的。
但是仍然有数学家会担心这样的公理是否蕴含矛盾,所以他们选择从皮亚诺自然数出发,一步一步确切地证明实数的无矛盾性。