Er blijken namelijk wel degelijk elementen in te zitten.
Ik had al enige tijd zo'n vaag vermoeden. Om mijn gedachten nader te vormen besloot ik eens een symbool te introduceren voor een mogelijk element van de lege verzameling:
ν ∈ Ø
En voilà: U ziet het hier met eigen ogen. De lege verzameling heeft wel degelijk tenminste één element!
Dit doet in overtuigingskracht wat mij betreft niet onder voor een formule als:
Nu is de eerstvolgende vraag natuurlijk of de lege verzameling nog meer elementen heeft. Ik heb als volgt bewezen dat dit zo is:
Ø = {a | a <> a}
En dus:
ν <> ν
En dus, als we de elementen van de lege verzameling gaan tellen dan beginnen we bij ν. Maar dan zijn we nog niet uitgeteld want ν <> ν. Zodoende heeft Ø dus zeker meer dan één element.
De vraag is natuurlijk wel, als de lege verzameling toch elementen heeft, zijn het dan altijd dezelfde elementen die in de lege verzameling zitten.
Of zouden er meerdere lege verzamelingen zijn, afhankelijk van welke elementen je wel en niet toelaat in de te beschouwen lege verzameling.
Ik zie wel perspectieven voor het uitwerken van begrippen als aftelbaar leeg en over-aftelbaar leeg. Of misschien onder-aftelbaar leeg.