Loading article…
数学の一分野である集合論において、許容集合とは、クリプキ-プラテック集合論のモデルとなる推移集合 のことである(Barwise 1975)。
許容集合の最小の例は、遺伝的に有限な集合の集合です。もう 1 つの例は、遺伝的に可算な集合の集合です。
参照
参考文献
数学の一分野である集合論において、許容集合とは、クリプキ-プラテック集合論のモデルとなる推移集合 のことである(Barwise 1975)。
許容集合の最小の例は、遺伝的に有限な集合の集合です。もう 1 つの例は、遺伝的に可算な集合の集合です。