bounded existential quantifier

【计】 有界存在量词
在线英汉词典
相关词语