[일반] 집합론 풀이 맞는지 봐주실수있나요

[++Rikka..(lillollool)]

(보조정리로 쓴 problem3 정리는 이거에요

정리8은 가부번집합의 무한 부분집합은 가부번이다 입니다.)

좀 많이 긴데.. 좀더 간단하게 할 방법이 생각이 안나네요 혹시 있다면 힌트라도 주시면 감사하겠습니다

(기수,베른슈타인정리 들어가기 전 챕터 문제라서 걔네 명시적으로 쓰는건 피하는쪽으로 풀었어요)