Веб-бібліотека - головна сторінка


Самоизмение (или саморазвитие) - внутреннее основание изменения (развития). Смысл приставки "само" заключается в том, что, во-первых, изменение (развитие) не обязател...
Лейбниц Готфрид Вильгельм - (1646-1716) - немецкий философ, математик, физик, изобретатель, юрист, историк, языковед и общественный деятель. Лейбниц является своего...
ФРОММ Эрих (1900-1980) - немецко-американский философ, психолог, социолог. Один из основателей и главный представитель неофрейдизма. В 1922 получил в Гейдельбе...
Сверхпроводимость - скачкообразное исчезновение электрического сопротивления некоторых материалов при очень низких абсолютных температурах, называемых крит...
ЧЕЛОВЕЧЕСТВО - Оккультно и каббалистически человечество в целом символизируется Ману в Индии; Ваджрасаттвой или Дорджесемпой, руководителем Семи Дхиа...
ЛЕГАЛЬНОСТЬ - свойство всего, что согласуется с положениями закона. Легальность сразу предполагает общественный закон, который может противоречить мор...
ФЕОФИЛАКТ - (в миру Федор Леонтьевич Лопатинский) 70-е гг. 17 в.. Волынь - 6 (17) мая 1741, Петербург] - архиепископ Тверской и Кашинский, богослов,...

ТЕОРЕМА

(греч. theoreo - рассматриваю, обдумываю) - в совр. формальной логике и математике любое предложение нек-рой строго построенной дедуктивной (напр., аксиоматической) теории, к-рое доказано (выведено) на основе применения к исходным положениям этой теории (аксиомам) и (или) к уже доказанным предложениям теории допустимых для этой теории правил вывода. В синтаксических системах класс Т. эквивалентен классу выводимых формул; в семантических системах класс аксиом и Т. совпадает с классом истинных предложений данной теории. Различение между аксиомами и Т. условно: одни и те же предложения нек-рой теории в одних случаях могут быть приняты в качестве аксиом, в др. - доказываться как Т. В силу этого к Т. часто относят и аксиомы. Т., к-рые формулируются относительно нек-рой теории (обычно формальной или формализованной) и доказываются содержательными средствами метатеории этой теории, называются метатеоремами (напр., Т. о дедукции).