X를 infinite set이라고 하자. 


그러면, X의 부분 집합 중에 countably infinite set이 존재한다는 것을 (나름 엄밀하게) 증명해라.


(P.S. 선택 공리 혹은 그와 동치인 정리를 써야 합니다.  ZF 체계에서는 저거 유도 못해요.)