这允许作者 对作为命题基数性和分离类型基数性之间关系的 广义量词（generalized quantifiers）给出一种解释。 其结果，两种理论都能表达像“大多数”这样的高 阶广义量词。
基于16个网页-相关网页
generalized quantifiers
广义量词
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动