Wouldn't a constructivist require an explicit bijection between R and aleph_1 before accepting CH?