数学定理肯定是真命题,数学真命题却不一定是定理.也就是数学真命题包括数学定理,范围大些.