Loading…
Loading…
Concept · Foundations
A symbol like x, y, or z that does not name a specific individual but can range over the domain when bound by a quantifier.
Why it matters
Variables are the placeholders that make generality and existence expressible.
Where this shows up
Following the links will take you to the page where this term is introduced in context.
Related