metatheorem
statement about a formal system proven in a metalanguage
transfer principle
principle that all statements of some language that are true for some structure are true for another structure
statement about a formal system proven in a metalanguage