Noun
eigenvariable (plural eigenvariables) English Wikipedia has an article on:Natural deductionWikipedia (mathematics, logic) A kind of term in natural deduction.