Set Theory/ZermeloFraenkel (ZF) Axioms
Formally, a set is not defined besides what the axioms say. We can define any collection of objects as a class, so that any set is a class, but not any class is a set (classes which are not set are sometimes known as proper classes).
The ZermeloFraenkel (ZF) Set TheoryEdit
In order to prove some of the fundamental results of set theory, and to begin to define other branches of mathematics based on it, we need to start with some axioms that we religiously take to be true. There are many possibilities for choices of axioms, but the most popular set of axioms is the ZermeloFraenkel system, or, more generally, ZermeloFraenkel with the Axiom of Choice.
We will start by saying that the universe is nonempty.
ZF1 (Axiom of Empty Set)
"there exists a set with no elements." 
We call a set that contains no elements, an empty set. A natural question to ask is whether such a set is unique.
We will need a notion of equality between sets.
ZF2 (Axiom of Extensionality)
"if two sets have the same elements, then they are said to be equal." 
We can now prove the uniqueness of an empty set. We prove this informally, and use the argument: reductio ad absurdum. Which in English means proof by contradiction.
Proof:
 Suppose that an empty set is not unique.
 This means that there exists empty sets and such that .
 So by ZF1, we have and for any set .
 Therefore by ZF2, we have since for any set is vacuously true, or in Latin ex falso sequitur quodlibet.
 And thus we have our contradiction. So the empty set is unique.
We define the empty set as .
So far, we have only shown the existence of the empty set. Thus motivates our next axiom.
ZF3 (Axiom of Pair)
"if we have two sets and , then we can form an unordered pair set that contains exactly and . We write this as ." 
It follows directly from ZF2, that the unordered pair set is de facto unique (so our intuition that order does not matter in unordered pair sets is true, ). It also follows directly from ZF2 that if is a set, then by ZF3 we have a set containing , i.e., .
Our theory so far shows the existence of infinitely many sets. We get with ZF1, and by ZF3 we get , and again by ZF3 we get , and so on...
The notion of infinite here is used informally since we have not yet defined it.
The only con we currently have in our theory is that we can only form empty sets, singleton sets, and pair sets. More precisely, we can say,
 empty
 singleton
 pair
We can now define an ordered pair set as . It is easy to see that if , then . This was defined by Kuratowski in 1921 ^{[1]}.
To define larger sets, we need the following axiom.
ZF4 (Axiom of Union)
"for any set , there exists another set whose elements are precisely the elements of the elements of . We write the set as ." 
So, the union of sets and is simply . Thus we have a triple set. We can continue unionising sets to form even larger sets.
We also have the usual notion of unionising two sets, i.e., the union of set and set , which we write as , is defined as .
ZF5 (Axiom schema of Replacement) Given a set and a formula in the language of set theory , such that for all there exists a unique such that is true. Then there exists a set whose elements are all those . We write this as the set . 
Intuitively, we can think of this as the existence of a map.
The following axiom follows from ZF5, but we will write it since it is useful to have. We shall name it ZF 5.1 to exaggerate the fact that it can be proven from ZF5.
ZF 5.1 (Axiom schema of Separation / Restricted Comprehension) Given a set and a formula in the language of set theory . Then we have a set of all such that is true. We write this as the set . 
The uniqueness of such a set (both from ZF5 and ZF 5.1) follows from ZF2.
ZF5 and ZF 5.1 are both axiom schemes since it comprises infinitely many axioms  one for each formula . Notice that the restriction in this axiom helps us to avoid Russell's paradox  in this paradox a "set" of the form , with , was used.
From this, we can now define the intersection set. We define the intersection of set , denoted as , as .
Note that we can now define the subset abbreviation symbol . We say to mean . Exercise: Explain why the complement set of set is de facto a set.
Now we can prove that the universal set is not a set. We use the same argument as above, i.e., reductio ad absurdum.
Theorem. The set of all sets is not a set. Proof:

ZF6 (Axiom of Power Set)
"if is a set, then there exists a set whose elements are the subsets of ." 
So the power set of an empty set, is the set of an empty set, i.e., .
As we will see, there is no way to define an infinite set given our current axioms, so we require the following axiom.
ZF7 (Axiom of Infinity) An inductive set exists. An inductive set is a set such that, , and . 
The following axiom is somewhat of a convention but various models of set theory have been defined without it, or even using axiom stating things close to the opposite.
ZF8 (Axiom of Regularity) For every nonempty set there is some such that . 
These eight axioms complete the list of axioms for ZF Set Theory.
The next axiom is called the Axiom of Choice or AC for short. ZF together with AC is called ZFC Set Theory.
ZFC9 Axiom of Choice (AC) For every set of nonempty disjoint sets, there exists a function defined on such that, for each set , . 