lemma
/lem-uh/US // ˈlɛm ə //UK // (ˈlɛmə) //
定理,定律,悖论,隐喻
Related Words
proposition提议,命题,观点,建议conjecture猜测,猜想,推测,臆测inference推论,推理,推断,推论的thesis论文,毕业论文,论述,论题explanation解释,说明,解说,解读guess猜测,猜到了,猜猜看,猜想supposition假设,臆测,假定,臆断assumption假设,假定,臆断rationale理论依据,理性,理由,理论theorem定理,该定理,大定律,大定理premise前提是,前提,处所,前提下interpretation解释,解读,翻译,解释权axiom公理,公理主义,公理原则conclusion结论,结语,总结,结束语description描述,说明,简介,描写headline头条新闻,头条消息,标题,头条label标签,标签的,签签,签标caption标题,说明,字幕,说明书rubric准则,擦边球,擦伤,擦亮眼睛legend传奇,传说,传奇故事,传奇人物
Definitions
n.名词 noun
- 1
plural lem·mas, lem·ma·ta [lem-uh-tuh]. /ˈlɛm ə tə/.
- : a subsidiary proposition introduced in proving some other proposition; a helping theorem.
- : an argument, theme, or subject, especially when indicated in a heading.
- : a word or phrase that is glossed; headword.
Synonyms & Antonyms
as inheading
as inhypothesis
Synonyms
assumption假设,假定,臆断axiom公理,公理主义,公理原则conclusion结论,结语,总结,结束语conjecture猜测,猜想,推测,臆测explanation解释,说明,解说,解读guess猜测,猜到了,猜猜看,猜想inference推论,推理,推断,推论的interpretation解释,解读,翻译,解释权premise前提是,前提,处所,前提下proposition提议,命题,观点,建议rationale理论依据,理性,理由,理论supposition假设,臆测,假定,臆断theorem定理,该定理,大定律,大定理thesis论文,毕业论文,论述,论题antecedent先例,前事,前事之师,前身assignment任务,转让,作业,任务分配attribution归属,归属感,归功于,归属地basis基础,基础知识,基础的,基础上belief信仰,信念,相信,信奉condition条件,状况,情况,状态data数据,资料,数据资料,资料图deduction扣减,扣税,扣款,扣减法demonstration演示,示范,示威,演示文稿derivation衍生,衍生品,衍生产品,导出foundation基金会,基础,基础知识,础ground地面,地,场地,土地layout布局,布置,布局设计,布景philosophy哲学,理念,哲理,哲学思想plan计划,计划书position位置,定位,职务,姿势postulate设想,假设,推定,推测presupposition预设,预设条件,预设值,预测principle原则,原则上,道理,原理proposal建议,提议,方案,提案reason原因,理由,原因是,缘由scheme计划,方案,计谋,计策speculation投机,推测,炒作,投机行为suggestion建议,提议,暗示,建言surmise推测,臆测,猜测,臆想system系统,制度,体系,系term术语,任期,条款,期apriority优先权,优先级,优先考虑,优先次序shot in the dark黑暗中的射击,黑暗中的枪声,黑暗中射击,暗中射击starting point起始点,起点,出发点,起步点tentative law暂行法,暂定法,暂行法律,试行法
Examples
While working on one of them, Morel realized her proof called for a lemma — a type of short steppingstone result — that mathlib didn’t have.
Some American Authors have recently adopted for the flowering glume the term lemma introduced by Piper.
The method of exhaustion used, for the purpose of proof by reductio ad absurdum, the lemma proved in Eucl.
His apparatus is the first to supply a lemma for each variant reading reported, and is clear and easy to read.
The lemma in his note is Oratesque, the reading of Daniel Heinsius' edition.
Level 2Browse all words →