В математических текстах теоремами обычно называют только те доказанные утверждения, которые находят широкое применение в решении математических задач. При этом требуемые доказательства обычно кем-либо найдены либо должны быть доказаны.
Теорема - это утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.