Θεώρηώ — міркую математичне твердження, істинність якого встановлена шляхом доказу. Докази теорем спираються на раніше доведені теореми та загальновизнані твердження (аксіоми).
Порівняння з теорема між лемою і теорема немає формальної відмінності, лише відмінність за наміром. Однак лему можна вважати другорядним результатом, єдиною метою якого є допомога в доказі більш суттєвою теореми – крок у напрямку доказу.
Теорема – Логічне слідство аксіом. Це твердження, яке засноване на аксіомах та загальноприйнятих твердженнях, які були доведені раніше, та доводиться з їхньої основі. склад теореми: умова та висновок або слідство.