Wiktionary
eigenvariable
n. (context mathematics logic English) A kind of term in natural deduction.