밑줄친 부분에서 Y집합은 {x1,x2 ...,xn}인건가? 그런데 저 증명이 결론적으로 Y가 무한집합이어야 하는데 Y가 {x1....,xn}이면 n개까지밖에 없어서 표기상 무한이 아니라 유한이지않나? - dc official App
Y는 xn들 다 모아놓은거. Y={x1,x2,...}
근데 그러면 Y가 X의 부분집합인건 어떻게 아는거지..? - dc App
X도 {x1,x2...} 이 형태 아닌가 - dc App
X에서 원소를 뽑아서 Y를 만들었으니 부분집합이지 그게 X 전체일 필요는 없고
각 자연수 n에 대하여잖아