Hierarchy:
Description:
{{logic}} A variable that appears in an axiom schema and ranges over formulas, distiguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse.
Ngram:
Ngram Text:
schematic variable
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
2