임의의 무한 집합 𝑆을 생각하자. 이때, 다음을 보여라.


1. 전사함수 ℕ ℚ의 존재성

2. 전사함수 𝑆 𝑆²의 존재성

3. 임의의 자연수 n에 대해 전사함수 𝑆 𝑆의 존재성

4. 𝑆가 비가산일 때 전사함수 𝑆 𝑆의 존재성


뭔가 당연한데 증명하는 거 보니까 신기하더라.