有界全称量词

有界全称量词

拼音： yǒu jiè quán chēng liàng cí
英語訳 bounded universal quantifier