X를 infinite set이라고 하자.
그러면, X의 부분 집합 중에 countably infinite set이 존재한다는 것을 (나름 엄밀하게) 증명해라.
(P.S. 선택 공리 혹은 그와 동치인 정리를 써야 합니다. ZF 체계에서는 저거 유도 못해요.)
X를 infinite set이라고 하자.
그러면, X의 부분 집합 중에 countably infinite set이 존재한다는 것을 (나름 엄밀하게) 증명해라.
(P.S. 선택 공리 혹은 그와 동치인 정리를 써야 합니다. ZF 체계에서는 저거 유도 못해요.)