In una qualunque costruzione della teoria degli insiemi si dimostra che
                                ( * )
e' un insieme.
L'insieme
definito dalla ( * ) si dice "
insieme vuoto
".