Variabile predicativa Predicate variable 谓词变量 Type of mathematical variable