/sci/ - Science & Math

>>11672730
>>11672892
And mind you, Cantors argument is still valid regarding [math] [0,1]\subset {\mathbb R} [/math].
It says there's no bijective function
[math] b : {\mathbb N} \to [0,1] [/math].
Indeed, but for the subcountable model you can eventually (letting the procedure run forever) pop out all
[math] [0, 1]\mapsto [/math]
in a countable fashion and say the reals is no more than what you witness like that.