lemma

Etymology

From Greek λῆμμα. Something taken or assumed.

Etymology

Greek λαμβάνω "to take."

Relation

A type of theorem.

Origin

Greek λῆμμα. Mathematics, logic.

Meaning

An auxiliary theorem used in proving other theorems.

Earliest use

Attested in OED.

Definition

A lemma. An auxiliary theorem used in proving other theorems. A type of theorem. Used in the course of proofs.