所以formula_60。
阿克曼函数.阿克曼函数可以使用康威链式箭号表示法来表示：相反的（n=1和n=2有特别的规定，A(m, -2) = -1 以及 A(m, -1) = 1。）
葛立恆数.葛立恆数formula_61无法用康威链式箭号表示法来简单的表示，但是可以订出简洁的上下界。设 formula_62，则 formula_63（见复合函数），可以得到formula_64。证明：这里会使用到规则3和规则4：formula_65fo