“The axiom of the empty set is the axiom of zero. It states that there must be a concept of nothingness, that there must be the concept of zero: zero value, zero items. Math assumes there’s a concept of nothingness, but is it proven? No. But it must exist.