- 514 名前：5
an=n{n-1{・・1{0{}01}1・・}n-1}n＝n{n-1{・・1{Φ}1・・}n-1}n（Φの外にn重カッコ）
↓
aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω（Φの外にω重カッコ）
(引用終り)
妄想？
数学では、「こんなのがあったら良いんじゃね？」という発想から成り立っている概念が多いよ
列記するまでもなく、いろいろ思いつくだろう
発想した概念（の定義）は、
１）他の概念から導ける（証明できる）
２）他の概念から独立（導けない）
３）他の概念と矛盾する
の３通り
”３）他の概念と矛盾する”の場合でも、例えば、選択公理と決定性公理のように、
選択公理をやめて、決定性公理を使うような場合とかある
「無限重シングルトン」は、ノイマン基数割当を経由しないと、定義出来ないとは思っているよ
でも、上記の１） or ２）と思っている。３）と思う人もいるだろうね
どうぞ証明を。私は突っ込み側に回るからｗ [] - [ここ壊れてます]
