辞海

释义：dìng lǐ
已经证明具有正确性、可以作为原则或规律的命题或公式，如几何定理。