全称量词化变元的英文翻译

英文翻译：【计】 universally quantified variable