Footnote to Axiom 4

It would seem that this is actually a theorem which would follow from Axiom 1 and Theorem 1.2, but first we would have to have a set in which the empty set would be a subset. At this point we have developed no sets, so that won't work yet. In fact we will construct all of our sets out of the empty set