schematic variable
schematic variable · schematic variables
A variable that appears in an axiom schema and ranges over formulas, distinguished…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.
Значение
значений: 1A 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| Ед. число | schematic variable |
|---|---|
| Мн. число | schematic variables |
правильный