連続体の濃度がいつアレフ1に決定されたんだ?