そこはレーヴェンハイム・スコーレムの下降定理から
非可算でACが成立しないモデルがあったら
可算でACが成立しないモデルも取れるから良いんじゃないの？