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