Schematic variable

Noun

Definitions

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

Synonyms

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

🔗 Find words with "schematic variable" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.