0189132人目の素数さん
2022/01/15(土) 15:28:32.79ID:E0wCw7+f>で、数学史の教えるところ、
>”新しい概念を言ったもの勝ち”ってところあるよ
で、「ω重シングルトン」について、過去だれも言及していないならば
おれの「言ったもの勝ち」ってことだな
でも、Zermeloが、空集合Φ={}から始まって、自然数の集合を構成した1900年代初頭から
ZFCが完成する1930年代の文献を掘ったら、何か出てきそうな気はする
(ここらは、デジタル検索に乗らないものが多そうだし、その上独語文献が主だろうから、ちょっと手が出ないが)
しかし、カッコ{}に添え字付きを考えたのは、私のオリジナルだという気がする
”カッコ{}に添え字付き”なんて、アホなことを考えるのは、私くらいでしょうからw