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