[해석학]집합론 증명 문제들인데 이것좀 풀어주세요

[Numerical]

Axiom of Pairing

어떤 set A, B에 대해, x=A이거나 x=B일때만 x∈C인 set C가 존재

Axiom of Union

어떤 집합 S에 대해, 어떤 A∈S에 대해 x∈A일때만 x∈U인 set U가 존재

이때 저 집합 C와 U가 유일함을 증명하는 문제인데요

어떤식으로 증명을 해야할지 모르겠어서요....

아마 A', B'이런식으로 2개가 존재한다고 가정으로 시작해서 A'=B'으로 유도하는 가닥으로 잡히는거 같은데요..

제가 증명엔 좀 미숙해서요..

[허걱~]

집합론에서 A=B를 증명할 때 쓰는 가장 기본적인 방법을 생각해보세요. 쉽게되는데