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

[0665 １３２人目の素数さん 2019/12/07(土) 17:11:22.97 ID:r8l5YtX/]

>>663
それです。
Xが>>660のZ(ω)のとき、F(X)は無限集合なので反例にはなりません。