Variable Count

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The number of distinct variables occurring in a formula or theory, where 'distinct' refers to syntactically different variable symbols; used as a simple metric of syntactic complexity and resource demand.