Theorem 1.6: The complement of a set is a set.

Proof: The complement is a subset of the universal set which is presumed to be a set, and the result follows from Axiom 1.