(греч. theorema, от theoreo - рассматриваю, исследую), предложение некоторой дедуктивной теории (см. Дедукция ) , устанавливаемое при помощи доказательства . Каждая дедуктивная теория (математика, многие её разделы, логика, теоретическая механика, некоторые разделы физики) состоит из Т., доказываемых одна за другой на основании ранее уже доказ