Метатеорема

Утверждение об изучаемой формальной аксиоматич. теории, полученное в рамках определенной метатеории. А. Г. Драгалин.

Значения в других словарях

1. Метатеорема — (от Мета... теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории (См. Метатеория) этой теории.  Большая советская энциклопедия
2. метатеорема — орф. метатеорема, -ы  Орфографический словарь Лопатина