There are two assumptions that are essential for the use of formal set theory:
For any element and a set belonging to some universe, the element is either a member of the set or else it is a member of the complement of that set
An element cannot belong to both a set and also to its complement