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