python整数运算定律_如何证明实数运算定律？

这种问题其实说起来会非常复杂，因为数学作为形式科学，有一个无法摆脱的束缚是“做不到无中生有”。所以物理可以通过实验无中生有地创造理论，而数学只能先假定一些结论是正确的，再依据这些假定发展理论。

因此到了实数的运算律问题上，如果想要证明运算律成立，也必须在证明之前预先假定一些结论。但是这带来的问题是，为什么我们不直接假定实数就是满足这些运算律呢？这其中涉及两个哲学问题。第一个问题是无矛盾性。当数学家创造一个理论的时候，需要尽可能确保这个理论是无矛盾的。如果你假定实数满足加法交换律结合律乘法交换律结合律，那你就很难知道这样的实数是否真的存在。所以为了一定程度上解决这些问题，数学家发展出了一些非常基础的理论，使得用常识几乎可以断定这样的理论并不蕴含矛盾，之后再使用这些理论证明其他的理论是无矛盾的。

另一个问题是定义是否具有普遍性，如果把数学定义的实数当作现实中实数在数学中的“模型”，就像人们可以把地球的数据输进电脑里以后就能研究地球气候，我们必须得确保电脑里的地球真正地反映了现实中的地球，因此只有真正显而易见的性质才适合被当做公理。

所以说最后的问题就是，题主觉得实数的运算规律显而易见么？如果问我的话，我会说很显而易见，或者至少正实数范围内的运算定律是显而易见的，因为实数可以用来描述面积。所以如果这么想的话，把实数运算定律作为不需要证明的公理也就是很自然不过的了。事实上也的确是这么做的。

但是仍然有数学家会担心这样的公理是否蕴含矛盾，所以他们选择从皮亚诺自然数出发，一步一步确切地证明实数的无矛盾性。