lemma
Word family
- lemmatizeverbC2
- lemmatizationnounC2
Synonym discussion
Sense: noun/2
In mathematics and logic, lemma, proposition, theorem, axiom, and corollary all refer to statements within a proof system, but each plays a different role. A proposition is the most general term — any statement that can be true or false. An axiom is a starting assumption accepted without proof. A lemma is a helper statement that is proved and then reused to prove something bigger. A theorem is the main result the proof works toward. A corollary follows directly from a theorem as an immediate consequence. For example: starting from an axiom about equality, a mathematician may prove a lemma about triangle congruence, use it to prove the Pythagorean theorem, and then note as a corollary that a triangle with sides 3-4-5 is right-angled.
Common collocations
Etymology
The word 'lemma' traces back to the Greek 'lēmma' (λῆμμα), meaning 'something taken or received, an assumption, a premise.' This came from the verb 'lambanein,' meaning 'to take, receive, or seize.' The term passed into Latin as 'lemma' with the sense of a proposition taken for granted, and entered English in the late 1500s. The dictionary-entry meaning developed later, in the context of modern linguistics and lexicography.