5.1 序数语法表达式的必有、可有语义特征