schematic variable

名词 n.
中文释义

英文释义

名词 n.
  1. 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
0 次浏览 数据来源: Wiktionary