Nella teoria assiomatica degli insiemi nota come teoria degli insiemi di Zermelo-Fraenkel, l'esistenza dell'insieme vuoto è assicurata dall'assioma dell'insieme vuoto.
nˈella teorˈia assjomˈatika dˌeʎɪ insɪˈɛmɪ nˈɔta kˌome teorˈia dˌeʎɪ insɪˈɛmɪ dɪ dzˈɛrmelofraˈeŋkel, lezistˈɛntsa dellinsɪˈɛme vʊˈɔto e assikʊrˈata dallassjˈɔma dellinsɪˈɛme vʊˈɔto.