Метатеорема —
Утверждение об изучаемой формальной аксиоматич. теории, полученное в рамках определенной метатеории. А. Г. Драгалин.
Математическая энциклопедия
Метатеорема —
(от Мета... теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории (См. Метатеория) этой теории.
Большая советская энциклопедия