1) Теорема - (від грец. Theoreo - розглядаю) - наукове положення.
2) Теорема - (грец. Theoreo - розглядаю, обмірковую) - в суч. формальній логіці і математиці будь-яку пропозицію деякої строго побудованої дедуктивної (напр. аксіоматичної) теорії, до-рої доведено (виведено) на основі застосування до вихідних положень цієї теорії (аксіом) і (або) до вже доведеним пропозицій теорії допустимих для цієї теорії правил виведення. У синтаксичних системах клас Т. еквівалентний класу виведених формул; в семантичних системах клас аксіом і Т. збігається з класом справжніх пропозицій даної теорії. Розрізнення між аксіомами і Т. умовно: одні й ті ж пропозиції деякої теорії в одних випадках можуть бути прийняті в якості аксіом, в др доводитися як Т. В силу цього до Т. часто відносять і аксіоми. Т. к-які формулюються щодо деякої теорії (зазвичай формальної або формалізованої) і доводяться змістовними засобами метатеорії цієї теорії, називаються метатеореми (напр. Т. о дедукції).
(Від грец. Theoreo - розглядаю) - наукове положення.
(Грец. Theoreo - розглядаю, обмірковую) - в суч. формальній логіці і математиці будь-яку пропозицію деякої строго побудованої дедуктивної (напр. аксіоматичної) теорії, до-рої доведено (виведено) на основі застосування до вихідних положень цієї теорії (аксіом) і (або) до вже доведеним пропозицій теорії допустимих для цієї теорії правил виведення. У синтаксичних системах клас Т. еквівалентний класу виведених формул; в семантичних системах клас аксіом і Т. збігається з класом справжніх пропозицій даної теорії. Розрізнення між аксіомами і Т. умовно: одні й ті ж пропозиції деякої теорії в одних випадках можуть бути прийняті в якості аксіом, в др доводитися як Т. В силу цього до Т. часто відносять і аксіоми. Т. к-які формулюються щодо деякої теорії (зазвичай формальної або формалізованої) і доводяться змістовними засобами метатеорії цієї теорії, називаються метатеореми (напр. Т. о дедукції).