(m)(n),n+1)" ，我们要先将 "G"("m")("n") 改为以 为基底的表示法。所以如 formula_20 等的表示式，既不会是无意义的也非等同 formula_21 。"P"("m") 是严格递减的。而标准排序运算元 < 在序数上是良基关系，一个无穷的严格递减序列是不可能存在的。换句话说，每个严格递减的序数序列会停止（不可能无限）。但"P"("m")("n") 是由 "G"("m")("n") 计算出来的。 "G"("m")("n") 也必然停止，这意味着它会达到 0 。虽然这个证明