Comment by baddox

I'm aware of constructivism, but what is "intuitionistic logic?" I am under the impression that the real numbers (and their uncountability) are generally accepted by constructivists.