English Dictionary

schematic variable

名詞

(logic) 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.

日本語の意味

公理スキーマに現れる変数で、論理式全体を扱う。個体が対象となる公理スキーマ中で量化される変数とは区別される。

In the formal derivation, the schematic variable α ranges over formulas in the axiom schema and should not be confused with object-language variables that are quantified over individuals.

形式的導出では、メタ変数αは公理スキーマ内の式全体を取りうるものであり、個体について量化される対象言語の変数と混同してはなりません。

意味（1）

(logic) 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.

schematic variables （ plural ）