“公理”：是人们在长期实践中总结出来的基本数学知识并作为判定其它命题真假的根据
“定理”：用推理的方法得到的真命题叫做“定理”,这种推理的方法也叫“证明”.