为什么公里正确却又无法证明？

因为公理的理解定义是证明其余定理而约定熟成的东西，自然而然不可证明。约定的东西是人类智慧经验的结晶，假设它不是正确的，那么它就会被推翻，进而产生出更完备的理论。这就是科学探索常用的方法。

另外，哥德尔不完全性第一不完备性定理说：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。意味着总存在不可被证明的定理。