schematic variable

Meaning

1. noun A variable that appears in an axiom schema and ranges over formulas, distinguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse.

Similar words

schema axiom schema axiom scheme variable eigenvariable propositional variable axiom system free variable subvariable context