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