[대학교이상] 집합론 질문 좀

[극락정토(minsung0022)]

3시간 동안 책 뒤져봐도 모르겠다...

Prove that if {Ai}i∈I is an indexed family of sets and the index class I is a set, then {Ai : i∈I} is a set.

- dc official App

[수갤러 1(106.101)]

잘은모르지만 치환공리 아님?

[수갤러 2(1.239)]

합집합 공리에 의해 U{A_i}는 집합 {A_i : i∈I}는 P(U{A_i})의 부분집합 따라서 {A_i : i∈I}는 집합

[극락정토(minsung0022)]

나도 이렇게 할라하긴 했는데 U{A_i}이 집합인 걸 어떻게 보임? - dc App

[수갤러 2(1.239)]

그러네. 실수함

[수갤러 2(1.239)]

위 말대로 치환공리꼴 쓰면 될듯

[극락정토(minsung0022)]

오 해결함 ㄱㅅㄱㅅ - dc App