теорема
ТЕОРЕМА (грецьк. υεώρημα, від υεωρίω — розглядаю, досліджую) — положення чи твердження, істинність якого встановлюють за допомогою доведення, заснованого на аксіомах чи на доведених раніше положеннях; у математичній логіці — речення аксіоматичної теорії, виведене на основі правил даної теорії; Т. — це формула, для якої існує доведення.
Філософський енциклопедичний словник