現代数学の系譜 カントル 超限集合論2

[0024 １３２人目の素数さん 2019/12/22(日) 00:29:59.09 ID:hH9D3fwr]

Ωが次の性質を持つ限りZFCと両立することはできません。

・Fを
x∈F⇔∃x1∋x2∋‥‥∋xn, x1=Ω, xn=x
によって定められる集合とするときFの任意の要素はシングルトンか空集合。
・Ωは有限Zermelo ordinal numberではない。