This follows from Zorn's lemma, an equivalent formulation of the axiom of choice.
From the en.wikipedia.org
Furthermore, the concept of pole and polar is revealed as a lemma in Book VII.
From the en.wikipedia.org
The European ministers minced no words in blaming the U.S. for their di lemma.
From the time.com
The process of determining the lemma for a given word is called lemmatisation.
From the en.wikipedia.org
The convexity properties are consequences of Gauss's lemma and its generalisations.
From the en.wikipedia.org
The most important among them are Zorn's lemma and the well-ordering theorem.
From the en.wikipedia.org
Unlike stemming, lemmatisation does select the right lemma depending on the context.
From the en.wikipedia.org
The existence of a generic filter G follows from the Rasiowa-Sikorski lemma.
From the en.wikipedia.org
Using this lemma we can now show that the height of the tree is logarithmic.
From the en.wikipedia.org
More examples
A subsidiary proposition that is assumed to be true in order to prove another proposition
The lower and stouter of the two glumes immediately enclosing the floret in most Gramineae
The heading that indicates the subject of an annotation or a literary composition or a dictionary entry
Lemma is a phytomorphological term used in botany referring to a part of the spikelet of grasses (Poaceae). It is the lowermost of two chaff-like bracts enclosing the grass floret. ...
Farkas' lemma is a result in mathematics stating that a vector is either in a given convex cone or that there exists a (hyper)plane separating the vector from the cone, but not both. It was originally proved by . ...
In linguistics a lemma (plural lemmas or lemmata) is either of two things: # Morphology, lexicography: the canonical form, dictionary form, or citation form of a set of words (headword); e.g., in English, run, runs, ran and running are forms of the same lexeme, with run as the lemma. ...
In informal logic and argument mapping, a lemma is simultaneously a contention for premises below it and a premise for a contention above it.
In mathematics, a "helping theorem" or lemma (plural lemmata or lemmas) is a proven proposition which is used as a stepping stone to a larger result rather than as a statement of interest by itself. The word derives from the Ancient Greek u03BBu1FC6u03BCu03BCu03B1 ("anything which is received, such as a gift, profit, or a bribe")
A proposition proved or accepted for immediate use in the proof of some other proposition; A lexeme; all the inflected forms of a term