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

[0669 １３２人目の素数さん 2019/12/07(土) 17:27:31.65 ID:uZFmzNJe]

>>667

>>644の「Fの任意の元がシングルトン⇒Fは有限集合」の話ですよね？

「Fの任意の元がシングルトン」でY∈F､Z∈Ｙ⇒Z∈Fなんですよね？

で、Fはそもそも正則性公理を満たしますか？