20/01/01 10:10:38.22 G5rtMfGn.net
>>155 補足
> ５．よって、Zermelo構成でのω、つまりは空集合を出発点として
> ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと
Zermelo構成でのωについて、もう少し考えてみよう
１．(下記の)時枝問題のように、可算無限個の箱というものを考えることができる
２．同じように、可算無限個の棒の列、|||・・・も考えられる
３．同じように、可算無限個の括弧 } の列、}}}・・・も考えられる
４．括弧の向きを、逆転させれば、・・・{{{
５．上記３と４と空集合Φとから、・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）ができる
これは、>>154での{・・{{{Φ}}}・・}(＝n重シングルトン)の
lim n→ω の極限と解釈できる
６．まとめると、”可算無限個の箱”を認めれば、その流れで、
「・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）」が理解できるってことな
(参考)
過去スレ20 再録 ｽﾚﾘﾝｸ(math板:2-7番)
時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
(引用終り)