metatheorem

Noun

 * 1)  A statement about theorems proven in a metalanguage.