Assertion: variable | /r/CapableOf | represent unspecified term of the theory
Facets:
Source sentences:
text: In mathematical logic, a variable is either a symbol representing an unspecified term of the theory, or a basic object of the theory, which is manipulated without referring to its possible intuitive interpretation.
text: In mathematical logic, a variable is either a symbol representing an unspecified term of the theory (i.e., meta-variable), or a basic object of the theory—which is manipulated without referring to its possible intuitive interpretation.