eigenvariable

Noun

 * 1)  A kind of term in natural deduction.