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'  
|