通过理论证明能用来作为原则或规律的命题或公式