음 기억이 잘 안나는데 풀이 대충 써보면 S가 nonempty라고 했으니 임의의 X in S에 대해 x에 대한 명제 P(x)를 "for all X in S, x in X"로 정의하면 Axiom Schema of Comprehension에 의해 Intersection S={x in X|P(x)}가 존재한다. 이렇게 될듯
정말 감사합니다 선생님 ㅠㅠㅠㅠ
음 기억이 잘 안나는데 풀이 대충 써보면 S가 nonempty라고 했으니 임의의 X in S에 대해 x에 대한 명제 P(x)를 "for all X in S, x in X"로 정의하면 Axiom Schema of Comprehension에 의해 Intersection S={x in X|P(x)}가 존재한다. 이렇게 될듯
정말 감사합니다 선생님 ㅠㅠㅠㅠ