Lemma vs. Theorem

Lemmanoun

(mathematics) A proposition proved or accepted for immediate use in the proof of some other proposition.

Lemmanoun

The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.

Lemmanoun

(psycholinguistics) The theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.

Lemmanoun

(botany) The outer shell of a fruit or similar body.

Lemmanoun

(botany) One of the specialized bracts around the floret in grasses.

Lemmanoun

A preliminary or auxiliary proposition demonstrated or accepted for immediate use in the demonstration of some other proposition, as in mathematics or logic.

Lemmanoun

A word that is included in a glossary or list of headwords; a headword.

Lemmanoun

a subsidiary proposition that is assumed to be true in order to prove another proposition

Lemmanoun

the lower and stouter of the two glumes immediately enclosing the floret in most Gramineae

Lemmanoun

the head of an annotation or gloss

Theoremnoun

(mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.

Theoremnoun

A mathematical statement that is expected to be true

Theoremnoun

(logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.

Theoremverb

(transitive) To formulate into a theorem.

Theoremnoun

That which is considered and established as a principle; hence, sometimes, a rule.

Theoremnoun

A statement of a principle to be demonstrated.

Theoremverb

To formulate into a theorem.

Theoremnoun

a proposition deducible from basic postulates

Theoremnoun

an idea accepted as a demonstrable truth

Theorem

In mathematics and logic, a theorem is a non-self-evident statement that has been proven to be true, either on the basis of generally accepted statements such as axioms or on the basis of previously established statements such as other theorems. A theorem is hence a logical consequence of the axioms, with a proof of the theorem being a logical argument which establishes its truth through the inference rules of a deductive system.