Теорема что это?

Теорема (от греч. theorema, букв. зрелище) - это утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.