繼承有限集合

在數學中 ， 繼承有限集合被遞歸的定義爲只包含繼承有限集合 （ 空集作爲基礎情況 ） 的有限集合 。 非形式的說 ， 繼承有限集合是其成員也是有限集合 ， 成員的成員也是有限集合以此類推 ， 的有限集合 。 它們可以通過如下規則構造 ： 空集是繼承有限集合 。 如果是繼承有限集合 ， 則也是 。 所有繼承有限集合的集合被指示爲 。 如果我們指示爲的冪集 ， 則 還可以構造如下 ： 首先把空集寫爲 ， 接着,,, 接着 。 繼承有限集合是馮 · 諾伊曼全集的子類 。 它是把集合論公理中的無窮公理替代爲它的否定公理得到公理體系的模型 ， 因此證明了無窮公理不是其他集合論公理的推論 。 注意有可數多個繼承有限集合 ， 因爲對於任何有限的都是有限的 （ 它的基數是 ， 參見 tetration ） ， 而可數多個有限集合的並集是可數的 。 等價的說 ， 一個集合是繼承有限的 ， 當且僅當它的傳遞閉包是有限的 。 Vω也被符號化爲 ， 意味着小於的基數的繼承 。 參見繼承可數集合 。