解析分层

根据定义公式中两种二阶量词交替次数对解析谓词(解析集合)所作的分层。详细定义为：

定义(解析分层)：

(1)=全体算术谓词；

(2)谓词S(x，…，x)∈当且仅当

S(x，…，x)α…αR(x，…，x，α，…，α)

(其中α(i=1，…，l)是谓词变元，R是谓词)；

(3)是由中的谓词的否定谓词组成的类；

解析分层的各层次之间有如下关系：

(其中表示真包含关系)、=全体解析谓词。(参见算术分层)