词汇与表达：lemma

lemma                                                                                                                       
引理;     辅助定理;    词根，词元(词的基本形式，如名词单数或动词的不定式形式)
In probability methods, local lemma is a key technology.        

在概率方法中，局部引理是一个关键技术。
引理，这个汉语我不太理解，定理还大概知识，由公理推导出来的规则，引理是啥？


axiom
英 [ˈæksiəm]     美 [ˈæksiəm]
记忆技巧：axi 有价值 + om → 有价值的理论 → 公理

For if there were infinitely many axioms, they could not all be written out.        

因为如果有无限多个的公理，我们就无法把它们全写出来，