21/04/24 07:18:32.90 3QgtzVYs.net
>>200
>(一番外側の{}が存在するようにしたければ、それくらいのことは簡単に実現できるしね(考えてみて(^^; ))
おサルさん、下記の自分の発言忘れた?
(>>11より)
11 名前:哀れな素人[] 投稿日:2021/04/20(火) 08:49:16.87 ID:o1SCGAb/
スレ主よ、サル石が、
定義すれば存在する、と書いたから、
では火星人を定義したら火星人は存在するのか、と質問してやったら、
>数学上で火星人を定義すれば数学上に火星人は存在する
という珍レスを書いてきた(笑
(引用終り)
数学では、シングルトンのωは定義できるよ(火星人の定義は不可だが)(^^
0th:={}
1st:={{}}
2nd:={{{}}}
3rd:={{{{}}}}
4th:={{{{{}}}}}
・
・
n-1th:={・・{}・・}({}がn個)
nth:={{・・{}・・}})({}がn+1個。但し追加の{}は、一つ内側に入れる。最外層の{}はn-1thのものを生かす。こうすれば、常に最外層の{}が存在する)
・
・
ω:={{・・・{}・・・}}({}が加算多重になった集合と定義する。nは自然数Nの全てを渡る)
シングルトンのωが定義できた
だから、シングルトンのωは存在する
(というか、極限順序数ωに対応するシングルトンが、定義(つまり構成)できたと考えて良い
( n∈N で、自然数の集合Nを添え字集合と考えれば良いだけのこと)