定理指一定条件下能够被证明的命题，一般是由其他命题推导而成。定律指反映客观事物固有规律的普遍性命题。公理指被视为真实的、不需要证明的基本命题或假设。定则指基于经验或惯例得出的规则或法则。