遺伝的に可算な集合JJapedia 編集部|更新日: 不明 集合論では、ある集合が遺伝的に可算な集合の可算な集合である場合、その集合は遺伝的に可算であると呼ばれます。 結果 上記の帰納的定義は十分に根拠があり、第一階集合論 の言語で表現できます。 同等のプロパティ 集合が遺伝的に可算であるためには、集合が可算であり、かつその推移閉包の全ての要素が可算である必要がある。[1] 参照 遺伝的に有限な集合 構築可能な宇宙 参考文献 ^ 「遺伝的に可算な集合について」、トーマス・ジェック著。 ヴte
