Основное меню

теорема - в словаре-справочнике по философии.

Что такое теорема в философии?

теорема:

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

Благодаря нашему философскому онлайн словарю Вы можете узнать точное определение термина теорема.