该序列满足以下条件，若 formula_23 则有：首先令 formula_31，其后对任何 formula_32 如下构造 formula_33：令 formula_34 为编号为 formula_35 的 formula_36 公式（详见算数阶层）。为了让 formula_37，我们需要让 formula_38 当且仅当 formula_39。这是一个自引用的定义：我们需要在 formula_40 中加入 formula_41 枝上的元素以表达 formula_42 为真或为假，但是若 for