1、定理：已经证明具有正确性、可以作为原则或规律的命题或公式，如几何定理。一般为某个演绎系统的初始命题。这样的命题在该系统内是不需要其他命题加以证明的，并且它们是推出该系统内其他命题的基本命题。定理都是真命题。
2、命题：判断一件事情的语句，叫做命题。命题由题设和结论两部分组成。命题不一定是定理。