 Sets cannot be independently defined by any arbitrary logically definable notion.They must be constructed in some way from previously constructed sets.For example, they can be constructed by taking powersets, or they can be "separated" as subsets of sets already "given".