pma에서 at most countable set of at most countable sets가 countable이라고 corollary에서 얘기하는데 왜 그런거야subset이라서라고 하는데 왜 그런건지 잘 모르겠네
countable set이 무한 집합 중에서 기수가 가장 작은 놈이러 그럼 countable set의 부분 집합인 무한 집합은 1, 2, 3, ... 이런 식으로 번호를 매길 수 있음 증명 어렵지 않으니 ㄱㄱ
설명을 늦게 봤네 ㅈㅅㅈㅅ 근데 멍청해서 그런가 무슨말인지 모르겠음..