4.1 序数语法表达式的内涵和外延