- 795 名前：１３２人目の素数さん mailto:sage [2022/01/04(火) 20:35:59.91 ID:frZcmJTe.net]
- >>739
>>可算無限シングルトンも、最後はそれ類似でもいいけどね。
>>でも、ZFC内かZFCから基礎の公理を除いた体系内には、収まるだろうと思うよ
>そう思うなら証明書けば？
どうもです
前にも書いたけど
証明書いたら、それに突っ込みが予想される
その突っ込みに、答えたら その答えに対する突っ込みが予想されて、・・とエンドレスになりそう
一方、可算無限シングルトンについて、誰かが「そんなもの無いよ」という証明を書けば
立場が逆転して、こっちが突っ込む側になるよ。その方が楽だよねｗ
かつ、証明なんか書いても、
一円の得にもならんしねｗ
