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.