0445基礎論好き
2021/12/19(日) 08:50:28.12ID:MSI4Orrtでは「予想」じゃなくて「無限シングルトンと言えるようなものは作れるか?」という(厳密化されてない)「問題」にしますか?
無限シングルトンと言えるようなリーズナブルな集合は無いと思いますよ。
不自然な定義をしたり人工的な公理を導入すれば別ですが。
なぜ無いと思うかというと、私はここまで未だにちゃんとした無限シングルトンの定義を提示してもらってないからです。
私としては、「無限シングルトン」の話は厳密な数学の問題ではないという認識でスレ主さんとコンセンサスが取れたようなので満足です。