Ogni assioma che stabilisce l'esistenza di un qualunque insieme implica l'assioma dell'insieme vuoto, utilizzando lo schema di assiomi di specificazione.
ˌoɲɲɪ assjˈɔma ke stabilˈiʃe lezistˈɛntsa dɪ ʊn kwalˈunkwe insɪˈɛme ˈimplika lassjˈɔma dellinsɪˈɛme vʊˈɔto, ʊtilidzːˈando lo skˈɛma dɪ assjˈɔmɪ dɪ spetʃifikatsiˈone.