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