それに疑問持ったのは
実数の濃度がアレフ2だってことで
実数にはアレフ1の部分集合があるってことだけど
具体的に``これがそれ''って書き出せないんだよな
それでも述語論理でその集合を使うことに問題はないとされるわけだけど
ホントにそれでいいの？