lemma
<logic>
A theorem (or metatheorem) proved only for the sake of another
theorem
(or metatheorem).
[Glossary of First-Order Logic]
<2001-03-16>
Try this search on OneLook / Google
Nearby terms:
Le Doeuff Michèle « legal positivism « Leibniz Gottfried Wilhelm « lemma » Lenin Vladimir Ilyich » Lessing Gotthold Ephraim » Leucippus