句组 语素 ω归纳原理 一一对应 幂集基数定理 汉语语法单位 结构体 二进制编码