метатеорема

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

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