quantified variable

(про)квантована змінна

змінна під знаком квантора