0349基礎論好き
2021/12/18(土) 00:25:32.17ID:GkHrSHcg>可算無限多重シングルトンで、なにか面白いことが言えるとは思えないが
>美的には、可算無限多重シングルトンがある方が、綺麗ですよね。可算無限なんて、現代数学ではそこら中にある
>シングルトンだけが、可算無限が禁止されている? ご冗談でしょう
禁止もなにも、私の意見は「定義があいまいである」という点で一貫しています。
なぜ、「演算f(X)={X}の可算無限回合成」が出来るかの説明が抜け落ちてます。
以前に「無限シングルトンを否定するなら、存在しないことを示してほしい」と仰ってましたが、それは不可能なんです。
また例え話になりますが、一元体を定義せずに「一元体を否定するなら存在しないことを示せ!」と言うことと同じなんです。