a theory the subject matter of which is another theory. A finding proved in the former that deals with the latter is known as a metatheorem.