from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic A variable that appears in an
axiom schemaand ranges over formulas, distiguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse.
Sorry, no etymologies found.
Sorry, no example sentences found.