階数(level)についての規則は次で与えられる。

• -階数\(0\)を構成できる。
• -階数\(i\)に対し、階数\(\mathord {\textnormal {\textsf {succ}}}(i)\)を構成できる。