> as lemmas

1929 H. B. Curry in Amer. Jrnl. Math. 51 368 The aim of mathematical logic is..not to reduce mathematics to a formalism,..but rather to analyze logic with a view to obtaining a greater command over its use... In this paper we shall adopt this metatheoretic point of view.

1965 B. Mates Elem. Logic viii. 128 We are now in a position to..give informal proofs of a number of metatheoretic generalizations about the theorems of logic.

1994 Contemp. Sociol. 23 899 Anyone who reads it [sc. the book] will..be less susceptible to the glib metatheoretic chatter endemic to the field.