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