@kururu_goedel: @mikiya0417 実数集合の濃度はアレフ1とは限りません。実数の濃度がアレフ1であるという命題は連続体仮説と呼ばれ、ZFCと独立です。アレフ1とは、アレフ0より大きい最小の濃度のことで、アレフ2はそれよりもう一つ大きい濃度です。2011-05-2…