It seems obvious to me that the statement is true. If you are looking at the elements that are not in the universal set, there are no elements left, thus you are left with the empty set.
However, when I try to prove it, I unpack the definition of U' down to: x∈U ^ x∉U
That's a contradiction. What can I do to prove this statement? Or did that contradiction just disprove the statement?