6.4 序数语法表达式中量词的隐现机制