分层理论正文　　数理逻辑中递归论的一部分。它的中心论题是用递归论为工具给出数集（问题集）或函数集的复杂性的某种排序。 　　因为所谓算术集恰是自然数集 N中由一阶公式定义的自然数集，而解析集则是由二阶公式定义的自然数集。算术集构成解析集类的一个更易于定义的子类。同时，由于所有的递归集都是算术集，如把它们看成有同样复杂的可定义性并用作讨论的起点，这将是自然的。 　　同样的，一个递归可枚举集A恰为{x｜扽yRxy}，其中R为一般递归谓词,所以… [ 进入词条 ][ 进入分层理论维吧 ]