>>14,16
ごめん、素で聞くんだけど
加算濃度がアレフゼロで
連続体濃度がアレフ1じゃ
ないの?