4 ms·Wouldn't a constructivist require an explicit bijection between R and aleph_1 before accepting CH?by ginnungagap 8y agoWouldn't a constructivist require an explicit bijection between R and aleph_1 before accepting CH?