I had to look this up, and if I understand right: yes, all that's certain is |ℝ| = ℵₖ, k≥1? If so, same point applies.