>>189
>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ

「ω重シングルトン」再録
Inter-universal geometry と ABC予想 (応援スレ) 63
https://rio2016.5ch.net/test/read.cgi/math/1640701686/481
481 名前：１３２人目の素数さん[sage] 投稿日：2021/12/31(金) 23:46:45.70 ID:42KgtWK6 [11/12]

つまり、ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成するんだよ

Inter-universal geometry と ABC予想 (応援スレ) 62
https://rio2016.5ch.net/test/read.cgi/math/1638933969/265
　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 ２）と思っている。３）と思う人もいるだろうね
どうぞ証明を。私は突っ込み側に回るからｗ
(引用終り)
以上