摘要
借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
Let’s conditionally generalize principle of transfinite recursion from ordinal numberclass to class with well-founded relation.
出处
《河南科学》
1995年第1期19-24,共6页
Henan Science
关键词
超限递归原理
良基关系
闭关系
公理集合论
Principle of transfinite recursion Well-founded relation Closed relation