Let A be a set,show that a "complement" of A does not exists, i.e. show that the set of all x does not belong to A does not exist.
how to prove it? give me some hints
In Z set theory (or its extensions) we will have previously proven:
~ExAy y in x
Also, we we will have previously proven that for any two sets S and T there exists the union of them (SuT) such that Ay(y in SuT <-> (y in S or y in T)).
Then, toward a contradiction, suppose Az(z in C <-> z not in A).
Then Ay y in AuC.