1、断定定理：是判断所讨论的事物是否符合某个概念（或公理,数学上的说法）的定理，判定定理是满足某个概念（公理）的充分条件,所以判断定理的主要功能是判断。

2、性质定理：是由概念（公理）得到的定理.性质定理可以直接由概念（公理）推得.讨论某个概念的时候,就包含了它的所有性质,所以性质定理的主要功能是描述。