>>735
>可算無限シングルトンも、最後はそれ類似でもいいけどね。
>でも、ZFC内かZFCから基礎の公理を除いた体系内には、収まるだろうと思うよ
そう思うなら証明書けば？