7fed8277b48368f551ed84e147827173b1bb589a63e83d51b2cb54e6e69a38

7fed8277b48368f551ed84e1478571731b8bd856407ea3553e00f07353b91f42

밑줄친 부분에서 Y집합은 {x1,x2 ...,xn}인건가?
그런데 저 증명이 결론적으로 Y가 무한집합이어야 하는데 Y가 {x1....,xn}이면 n개까지밖에 없어서 표기상 무한이 아니라 유한이지않나?

- dc official App