>>152
でも実数集合Rのアレフ数はZFCでは決定不能