全称量词化变元

Большой китайско-русский словарь

Большой китайско-русский словарь

_

universally quantified variable