Lemma

Lemma eli apulause kuuluu osana loogiseen päättelyyn. Sitä käytetään matemaattisen todistuksen välivaihelauseena ja askeleena kohti varsinaisen väittämän todistusta. Tätä käytetään yleensä silloin, kun varsinaisen väittämän todistamisessa on selvä osa, jonka todistaminen on itsessäänkin merkittävä. Tällaista välivaiheena todistettua lausetta, lemmaa, voidaan mahdollisesti (tai oletetaan voitavan) käyttää myös muiden väitteiden todistamisessa.

Lemma on morfologiassa sanamuotoja yhdistävä perusmuoto.

Lähteet

Katso myös 
 Pumppauslemma (Pumping lemma).

Matemaattinen logiikka
Logiikka