Az intuíciós részen még gondolkozok.

Nevezetesen van olyan formula  Erről beszéltem:D Az a létezés már intuitív fogalom.

Nem tudom... szerintem a halmazok nem léteznek. Amikor számolunk, vagy összességekkel dolgozunk, akkor van néhány általános törvényszerűség, amiket használunk, de ettől még nem kell elfogadnunk, hogy léteznek halmazok. Ez szerintem ugyanolyan, mint amikor ZFC-ről beszélünk, akkor beszélhetünk osztályokról, de attól még osztályok nem léteznek a rendszerben.