schematic variable
danh từ (noun)
Nghĩa chính
- Biến xuất hiện trong một lược đồ tiên đề và trải rộng trên các công thức, được phân biệt với các biến của lược đồ tiên đề được lượng hóa và trải rộng trên các cá thể trong vũ trụ diễn ngôndanh từ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.
Dạng từ (word form)
theo quy tắc (regular)- schematic variableDạng gốc (base form)
- schematic variablesSố nhiều (plural)