Et lemma , i matematik og i matematisk logik , er et mellemresultat, som vi stoler på for at føre bevis for en vigtigere sætning .
I det gamle Grækenland, lemma (i oldgræsk : λῆμμα ) var en løbetid på logik : det udpeget store af syllogismer , det vil sige den første påstand. I græsk dialektik er Lemma, prolemme og epiphora de tre dele af argumentet.
I forlængelse heraf betegner lemma i matematik et af bevisets argumenter uden at være grundlaget for det, og mere generelt et mellemresultat, der er nyttigt til demonstration af en sætning.
Faktisk er metoden til at bevise en sætning ofte følgende:
Dette princip bruges især af software kaldet bevisassistenter som Coq eller PVS .
Nogle viste sig, at lemmaer blev mere berømte end sætningen, som de blev oprettet for, og forbliver kendt som "Lemma af XXX", selvom de normalt spiller en rolle som sætning.