遗传有限集

遗传有限集。遗传有限集理论是继Swierczkowski的发展而形成的。HF集是其它HF集的有限集合;它们具有归纳原理,满足ZF集理论的所有公理,除了无穷公理被否定之外。在ZF集合论中,所有不使用无限集的构造(笛卡尔积、不相交和、自然数、函数)都是可能的。高频集的加法定义遵循Kirby。这一发展形成了哥德尔不完全性定理的伊莎贝尔证明的基础,这一证明已被单独形式化。