Teorem

I matematikk har man mange viktige resultater og setninger som kalles teoremer. De aller viktigste teoremene kalles fundamentalteoremer.

Teoremer er setninger eller påstander som bevises kun ved bruk av aksiomer, uten noen andre antagelser.

Et eksempel på et teorem er Pythagoras' Teorem eller Pythagoras' Læresetning.

Lemma

Lemmaer kan tenkes på som et lite, ikke fullt så viktig teorem. Vanligvis brukes lemmaer i beviset av teoremer. Kan vi skille ut deler av beviset til et teorem og bevise det som et eget resultat, kaller vi det et lemma.

Korollar

Fra et teorem kan man av og til vise eller utlede nye setninger med et minimalt tilleggsbevis. Slike setninger kalles korollarer og kan tenkes på som et lite ekstra tillegg til teoremet.