那么公理是如何保证自己是正确的？
公理不用证明，从数学上讲，数学就是一种假设。它的正确性是由它推出的所有定理的正确性来保证。
公理的正确性也有一定的范围。比如大名鼎鼎的欧几里得第五公理就被数学家们拉下神坛。
这有点像牛顿定律。牛顿定律也是不能被实验验证的，但是由牛顿定律得出的其他结论无一例外的都被实验验证了，所以我们就认为牛顿定律是真理。可是在高速或者微观领域，人们又发现了与牛顿定律矛盾的现象。所以牛顿定律也被拉下来了。
