19/10/05 21:51:10.51 kZwmbLNI.net
>>91-92
英語読めませんか?
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}∈ω’)
だといってます
決して{・・・{Φ}・・・}ではありません