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

[0672 １３２人目の素数さん 2019/12/07(土) 17:33:20.01 ID:uZFmzNJe]

>>670
いや、ここでは◆e.a0E5TtKEは関係ないですよ

「Fの任意の元がシングルトン」で
「Y∈F､Z∈Ｙ⇒Z∈F」としたとき
Fは正則性公理を満たしますか？
という問いですよ

強調しておきますが
{}はシングルトンではないですよ
要素ゼロですから