Et lemma er en lille sætning. Den er bevist sand, men dens hovedformål er at hjælpe med at bevise noget større. Lemmaer er stilladserne for matematiske argumenter. De opdeler et stort bevis i håndterbare dele.

Euklids lemma siger, at hvis et primtal dividerer et produkt af to hele tal, dividerer det mindst ét ​​af dem. Dette lemma er essentielt for at bevise den grundlæggende sætning i aritmetik. Zorns lemma, et mere avanceret eksempel, bruges til at bevise eksistensen af ​​maksimale idealer og baser i uendeligt-dimensionelle rum.

Nogle gange bliver et lemma berømt i sig selv. Gauss' lemma, Fatous lemma og Urysohns lemma har alle navne og optræder i lærebøger. Sondringen mellem lemma, proposition, sætning og følgesætning er delvist stilistisk. Et lemma er en hjælper; en sætning er hovedresultatet.

• Bevist udsagn brugt til at bevise en sætning
• Opdeler store beviser i trin
• Eksempler: Euklids lemma, Zorns lemma
• Bliver nogle gange berømt uafhængigt