超限序列 F 带有 dom(F) = formula_1（formula_1 是所有序数的真类），使得注意我们要求 G, G, G 的定义域足够广阔来使上述性质有意义。所以满足这些性质的序列的唯一性可以使用超限归纳证明。更一般的说，你可以在任何良基关系"R" 上通过超限递归定义对象。（"R" 甚至不需要是集合；它可以是真类，只要它是类似集合的关系便可，也就是说：对于任何 "x"，使得 "yRx" 的所有 "y" 的搜集必定是集合。）
同选择公理的联系.有一个常见的误解是超