0318132人目の素数さん垢版 | 大砲2022/01/29(土) 14:04:56.94ID:YpZKAQJ0 (X,d)は完備距離空間で、Xに孤立点は無いとする。 このとき、X の濃度は実無限以上であることを ZFC の中で示せ。