命题包括真命题和假命题；命题的条件和结论反过来说就是逆命题；
公理是大家普遍认可、不需证明的结论；
定理是根据公理推导出来的正确结论.