質問: アレフ0より小さな濃度をもつ無限集合 アレフ0(可算集合の濃度)より小さな濃度をもつ無限集合はありますか。
回答: ちょっとだけコメントしておくと: > 何にせよ、アレフ0と比較不可能というくらいならともかく、より小さな無限濃度の存在はかなり不自然ということは認識頂けると思います。 zfでも可算基数と比較可能でより小さな基数は有限基数なので、無限基数でかつ可算基数より「小さい」ものはzfでも存在しません(可算基数は無限基数の中で「極小」)。zfcなら可算基数は無限基数の中で最小であることが言えます。