这通过所谓的公理系统“无矛盾性”保证。
然而,根据哥德尔的结论,一个公理系统的无矛盾性无法在该系统内被证明。所以其实题主这句话不一定对?(ssfd)
不管这些的话,现在的公理系统还没有发现任何矛盾。如果这确实成立的话,一定会得到相同的答案。