19/12/22 00:29:59.09 hH9D3fwr.net
Ωが次の性質を持つ限りZFCと両立することはできません。
・Fを
x∈F⇔∃x1∋x2∋‥‥∋xn, x1=Ω, xn=x
によって定められる集合とするときFの任意の要素はシングルトンか空集合。
・Ωは有限Zermelo ordinal numberではない。
19/12/22 00:29:59.09 hH9D3fwr.net
Ωが次の性質を持つ限りZFCと両立することはできません。
・Fを
x∈F⇔∃x1∋x2∋‥‥∋xn, x1=Ω, xn=x
によって定められる集合とするときFの任意の要素はシングルトンか空集合。
・Ωは有限Zermelo ordinal numberではない。