2.6.1 量词的定义