Условием теоремы является предположение или утверждение, которое необходимо для вывода заключения. Заключением теоремы является вывод или утверждение, которое следует из условия.

Теоремой, обратной данной, называется такая теорема, которая имеет обратное утверждение или предположение к исходной теореме, но вывод и заключение остаются теми же. Такая теорема подтверждает исходную теорему в том случае, если оба утверждения верны.