유펭린 집합론 기수까지는 할만해서 달리다가, 선택공리, 하우스도르프 정리, 조른 보조정리, 정렬원리에서 멘탈 나갔다...


그래도 나름 서울대 윗공대 다니는데... 교재에 나오는 정리들은 길기만하고 어렵지는 않은데 다른 정리들을 스스로 증명할 때 어떻게 증명을 설계할지 감이 안오네. 어떡하지?