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