楼上说的有点小问题,我重新说一下:公理是大家公认为正确的,是不需要证明的。公理相当于是一个最初的原材料,用公理才能证明定理。定理是在公理基础上出现的,他的地位比公理低一些,它是需要证明的。而一旦某个定理被证明是正确的,那么它就可以用来证明其他的定理。所以可想而知,在最初什么定理都没被证明时,我们手上的“原材料”只有公理,因此这时想要证明某条定理只有完全用公理。而在这之后,那条被证明的定理也就加入了我们的“原材料”的行列,下次证明其他定理时就可以直接用了。总结起来:公理无条件成立。定理需要证明,在证明的过程中,可以用的工具是:公理和已经被证明正确的定理。至于公式只是用数学的语言描述的公理或定理,这样表达起来比文字叙述更简练,她本身并不是一个新事物,只是公理或定理的另一种表示而已。