метатеорія
метатеорема
метатеоретичний