[해석학] 실수가 uncountable set이다.

자연수와 유리수가 countable set이고 one-to-one correspondence이어서 크기가 같다는 것은 증명하는 것이 쉽기때문에 생략했다.

그렇지만 실수가 uncountable set이라는 것은 실수가 가진 특이한 성질이고 앞에서 공부한 Nested interval property를 복습한다는 차원에서 증명해보았다.