急成长阶层 在可计算性理论计算复杂性理论和证明理论中急成长阶层也称为扩展Grzegorczyk阶层或SchwichtenbergWainer阶层 是一类定义域和值域为自然数集以序数作为索引的函数即急成长函数fα N  N构成的集合其中N是自然数集   并且索引 α 的范围可达某个大的可数序数例如Wainer阶层或LöbWainer阶层是所有具有索引 αε 的急成长函数 急成长阶层提供了一种根据增长率和计算复杂性对可计算函数进行分类的自然方法