19/10/05 11:52:28.50 kZwmbLNI.net
ω(＝{{},{{}},{{},{{}}},…})
∃ω.{}∈ω∧(∀x.x∈ω⇒x∪{x}∈ω)
ω’(＝{{},{{}},{{{}}},…})
∃ω’.{}∈ω’∧(∀x.x∈ω’⇒{x}∈ω’)
さて{{…{}…}}（{}の多重無限）はどう表せるのか？
そもそも、{}は上記の集合の要素か？ {{}}は？ {{{}}}は？
19/10/05 11:52:28.50 kZwmbLNI.net
ω(＝{{},{{}},{{},{{}}},…})
∃ω.{}∈ω∧(∀x.x∈ω⇒x∪{x}∈ω)
ω’(＝{{},{{}},{{{}}},…})
∃ω’.{}∈ω’∧(∀x.x∈ω’⇒{x}∈ω’)
さて{{…{}…}}（{}の多重無限）はどう表せるのか？
そもそも、{}は上記の集合の要素か？ {{}}は？ {{{}}}は？