bound variable

Also known as dummy variable, dead variable

variable in a logic formula which is inside the scope of a quantifier