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