遗传有限集

遗传有限集。随着Swierczkowski的发展,遗传有限集的理论得到了形式化。HF集是其它HF集的有限集合;它们除了一个否定的无穷大公理之外,还有一个归纳原理并满足ZF集合理论的所有公理。在ZF集理论(笛卡尔积,不相交和,自然数,函数)中不可能使用无穷集的所有构造都是可能的。HF集的加法定义遵循Kirby。这一发展为Godel不完备性定理的伊莎贝尔证明奠定了基础。