定理（theorem）,是用逻辑的方法判断为正确并作为推理的根据的真命题.
数学知识的性质是指从数学概念直接推导得出的运算法则或者运算公式等延伸的知识,数学知识的概念和性质具有紧密的衔接关系