定
理
dìng lǐ
基本释义
是用逻辑的方法判断为正确并作为推理的根据的真命题。
英文翻译
theorem