短语词组短语bounded universal quantifier [计]有界全称量词;翻译bounded existential quantifier [数]有界存在量词;有界存在量词英语;有界存在量词 返回 bounded quantifier