0095132人目の素数さん
2019/10/05(土) 21:51:10.51ID:kZwmbLNI英語読めませんか?
Infinity
This final axiom asserts the existence of an infinitely large set which contains the empty set, and for each set a that it contains, also contains the set {a}. (Thus, this infinite set must contain ∅, {∅}, {{∅}}, ….)
つまり>>29で述べたω’(={{},{{}},{{{}}},…})
∃ω’.{}∈ω’∧(∀x.x∈ω’⇒{x}∈ω’)
だといってます
決して{・・・{Φ}・・・}ではありません