polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
dokazana tvrdnja
U matematičkim se tekstovima teoremom najčešće nazivaju važni rezultati, dok se pomoćni rezultati nazivaju lemama, a lako dokazive posljedice korolarima.