5.2 序数语法表达式的典型性问题