公理是不能被证明但确实是正确的结论,是客观规律,比如两点之间线段最短.
定理是在一定条件下,由公理推导证明出来的正确的结论.
推论是由公理或定理推出的结论,也可以说是一个定理,但往往推论比定理限制条件多一些