1608번 게시글의 문제 풀어봄

[익명(180.67)]

[익명(180.67)]

수정 : 부분원순서 -> 원순서

[익명(79.110)]

"여기서 a := ∪A로 잡자."라는 가정 뒤에 "그러기에 앞서, 보조정리 2로부터 ∪A = a임을 확인할 수 있다."라는 문장이 있는 점이 이상하게 느껴지네.

[익명(79.110)]

어쨌든 방금 증명을 다 읽었어. 내가 집합론을 제대로 공부한 적이 없기도 하지만, 그랬더라도 내가 과연 이런 접근을 혼자 해 냈을지 모르겠어. 좋은 증명 올려 줘서 정말 고마워!

[익명(180.67)]

그러게. 왜 그렇게 썼지? 암튼 읽어줘서 ㄳ