>>270
つづき

（参考）
箱入り無数目を語る部屋
https://rio2016.5ch.net/test/read.cgi/math/1609427846/1-2
　箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N


（参考 ツェルメロのシングルトンによる自然数の構成）
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
ペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。

つづく