A formula in the language of an axiomatic system,containing one or more. These metasyntactic variables (or"schematic variables") that stand for terms or subformulae.An example is the Axiom of Comprehension.
