After postulating a couple of important axioms in the previous two sections, we now arrive at a couple of important results.
1. There exists an empty set. (In fact, there exists exactly one!)
2. The empty set is a subset of every set.
Indeed, to prove the first result, suppose is some set. Then, the set is clearly an empty set, i.e. it doesn’t contain any elements. To “picture” this, imagine an empty box with nothing inside it. In fact, we can apply the axiom of specification to with any universally false sentence to create an empty set. The empty set is denoted by . The axiom of extension, on the other hand, guarantees there can be only one empty set.
Now, how do we argue that , for any arbitrary set ? Well, the reasoning is an indirect one, and for most beginners, it doesn’t seem like a complete one. There is something in the argument that doesn’t feel quite “right!” However, there is nothing “incomplete” about the argument, and here it is anyway.
Suppose, for the sake of contradiction, the emptyset, , is not a subset of Then, there exists an element in that doesn’t belong to But, the empty set is empty, and hence, no such element exists! This means our initial hypothesis is false. Hence, we conclude (maybe, still somewhat reluctantly) .
Now, the set theory we have developed thus far isn’t a very rich one; after all, we have only showed there is only one set and that it is empty! Can we do better? Can we come up with an axiom that can help us construct new sets? Well, it turns out, there is one.
Axiom of pairing: If and are two sets, then there exists a set such that and .
The above axiom guarantees that if there are two sets, and , then there exists another one, , that contains both of these. However, may contain elements other than and . So, can we guarantee there is a set that contains exactly and and nothing else? Indeed, we can. We just apply the axiom of specification to with the sentence “ or .” Thus, the set is the required one.
The above construction of a particular set illustrates one important fact: all the remaining principles of set construction are pseudo-special cases of the axiom of specification. Indeed, if it were given that there exists a set containing some particular elements, then the existence of a set containing exactly those elements (and nothing else) would follow as a special case of the axiom of specification.
Now, observe if is a set, then the axiom of pairing implies the existence of the set , which is the same as the set and is called a singleton of . Also, note that and are different sets; the first has no elements at all, whereas the second has exactly one element, viz. the empty set. In fact, there is a minimalist (inductive) way of constructing the set of natural numbers, , (due to von Neumann) using the axiom of infinity as follows.
But, more on this later.