SCHEMATICVARIABLE

schematic variable

Noun

  1. 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.


The above text is a snippet from Wiktionary: schematic variable
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!