>>42
それよか
可算集合で実数のモデルになるやつって具体的にどんなのなのかな