## Set theory
This is the problem with what is called naive set theory. To make it rigorous, axiomatic set theory states that sets can only be constructed using axioms and sets already constructed. The most common of these is ZFC, which stands for Zermelo-Fraenkel set theory with the axiom of choice. There are many axioms. Here are the informal definitions. 1: If two sets have the same elements, they are the same set. (For example, the set {a, b, c} is the same as the set{c, b, a}) 2: Every set has an element disjoint to itself. (This means that the set and its element have no elements in common. For example, the set {{a, b}, {{a, b}}} has the element {a, b} which has no elements in common with the original set as neither a nor b are actually elements of the original set) 3: For all sets and functions, there is a set that contains all images of the elements in the original set. (For example, let the set be {{a, b}, {c, d}, {e, f, g}} and let the function be adding h to a set. This axiom states that the set {{a, b, h}, {c, d, h}, {e, f, g,h}} exists) 4: For any two sets, there is a set with both as elements. (For example, let the sets be {a, b} and {c, d}. The axiom states that the set {{a, b}, {c, d}} exists) 5: Given any two sets, the union of the sets is a set. (For example, let the sets be {a, b} and {c, d}. The axiom states that the set {a, b, c, d} exists. This is not to be confused with Axiom 4) 6: There is a set with infinitely many elements. (For example, the set {1, 2, 3, 4...} 7: Given any set, there is a set of all subsets of that set. {For example, given the set {a, b, c}, the axiom states that the set {{}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} exists. 8: Given some sets, you can pick an element from each to make a new set. (This is the Axiom of Choice. For example, given the sets {a, b}, {c, d}, {e, f} this states that, for example, the set {a, c, f} or any other containing one element from each exists. This seems obvious but is important and somewhat hard to grasp for infinitely many sets) Some basic sets can be constructed. An ordinal can be thought of as the set of previous ordinals. Zero is the empty set {}. From there, we define 1 as {{}}, 2 as {{},{{}}}, 3 as {{},{{}},{{},{{}}}}, and so on. However, this is not all. We can actually define any possible set, as long as it is not contained in itself, its elements, its elements' elements, and so on. We can recursively define sets starting at the empty set and then taking all sets containing previously-defined sets as elements. There is also a Von Neumann universe of sets. This is V ## Related entries•Coming soon | ||||

Home • Contact |