Nesto ne mislim da postoji element praznog skupa

Na tu temu je bila neka rasprava na ovom forumu.
http://www.elitesecurity.org/p232712

Ali ni tamo se ne raspravlja o tome kakva je razlika između praznog skupa i nepostojanja skupa.
Ako je skup kako onda može biti prazan?

Po definiciji prazan skup ne sadrži ni jedan element.

Medjutim ako je A prazan skup onda je A podskup A. Imajući na umu i da je prazan skup jedinstven mislim da bi mašina, na postavljeno pitanje, vratila true.