Contextualizebeta

schematic variable

noun

Definitions

  1. A variable that appears in an axiom schema and ranges over formulas, distinguished from…

    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.

The neighborhood

Vish — recursive loop

No curated loop yet for schematic variable. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA