[umanwizard]

Excellent explanation, thanks! But I feel compelled to point out that only a small minority of working mathematicians are constructivists.

[btilly]

This is true.

However there is no logical argument that can disprove the constructivist view, in which there aren't "more" irrationals than rationals. And therefore the logical argument that there is must have some hidden implicit assumptions.