定理

定理 [dìng lǐ]

1. ■ （已经证明正确，可以作为原则或规律的命题或公式） theorem:

基本定理 fundamental theorem;

几何定理 geometrical theorems

---

常用词组

1. ■ 定理验证[明] theorem proving