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