theorem schema

<logic> (plural: schemata). A formula containing variables of the metalanguage which becomes a theorem when the variables are instantiated to wffs of the formal language.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google