英文:bounded quantifier
中文意思:【计】有界量词
英文:bounded universal quantifier中文意思:【计】有界全称量词...
英文:bounded existential quantifier中文意思:【计】有界存在量词...