超限递归原理

超限递归原理(principle of transfinite recur- sion)是自然数上的递归原理在无穷集合上的推广， 是集合论中构造新的概念或对象的一种方法。