грец. theoreo - розглядаю, обмірковую) - в суч. формальній логіці і математиці будь-яку пропозицію деякої строго побудованої дедуктивної (напр. аксіоматичної) теорії, до-рої доведено (виведено) на основі застосування до вихідних положень цієї теорії (аксіом) і (або) до вже доведеним пропозицій теорії допустимих для цієї теорії правил виведення. У синтаксичних системах клас Т. еквівалентний класу виведених формул; в семантичних системах клас аксіом і Т. збігається з класом справжніх пропозицій даної теорії. Розрізнення між аксіомами і Т. умовно: одні й ті ж пропозиції деякої теорії в одних випадках можуть бути прийняті в якості аксіом, в др доводитися як Т. В силу цього до Т. часто відносять і аксіоми. Т. к-які формулюються щодо деякої теорії (зазвичай формальної або формалізованої) і доводяться змістовними засобами метатеорії цієї теорії, називаються метатеореми (напр. Т. о дедукції).
↑ Відмінне визначення
Неповне визначення ↓
↑ Відмінне визначення
Неповне визначення ↓
Знайдено схем по темі ТЕОРЕМА - 0
Знайдено научниех статей по темі ТЕОРЕМА - 0
Знайдено книг по темі ТЕОРЕМА - 0
Знайдено презентацій по темі ТЕОРЕМА - 0
Знайдено рефератів на тему ТЕОРЕМА - 0
те о ре ма
Гіпероніми
Фразеологізми і стійкі поєднання
- доводити теорему
- теорема аддитивности
- теорема Коші
- теорема Піфагора
- en: theorem
- hy: թեորեմ (t'eorem)
- be: теарема
- bn: উপপাদ্য
- bg: теорема
- bs: teorem
- gl: teorema
- el: θεώρημα
- ka: თეორემა
- gd: teòirim
- da: sætning; teorem
- io: teoremo
- id: teorema
- is: setning
- es: teorema
- it: teorema
- kk: теорема
- ca: teorema
- lt: teorema
- mk: теорема
- de: Theorem
- nl: stelling, theorema
- no: teorem
- pl: twierdzenie
- pt: teorema
- ro: teoremă
- sr: теорема
- sk: teoréma
- sl: izrek
- tr: teorem
- uk: теорема
- fi: lause, teoreema
- fr: théorème
- hr: teorem
- cs: věta
- sv: teorem
- eo: teoremo
- et: teoreem
- ja: 定理 (て い り, teiri)