2판 기준으로 28 - 29쪽에 있네요.



비록 f : N → R로 가는 전단사 함수가 없음을 보이는 것이지만,

그것의 증명에 R 대신 [0, 1]을 적용할 수도 있네요.