Теорема, касающаяся логических объектов научной теории и доказываемая средствами метатеории этой теории

Большая Советская Энциклопедия Значение слова в словаре Большая Советская Энциклопедия
(от мета... ), теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории этой теории. Термин «М.» употребляется ...