Súčasný kráľ Francúzska

Aj súčasný kráľ Francúzska existuje, ale je to prázdna množina. Je to 0. Je to nepravda. Ale existuje.

Vieme, čo je Entita Súčasnosť / Teraz a táto Entita Existuje. Vieme, čo je Entita Kráľ a táto Entita Existuje. Vieme, čo je entita Francúzsko a táto (dokonca) entita existuje. Keď existujú všetky zložky zloženej a dokonca plne špecifikovanej (Konečnej) Entity, táto Entita Existuje. (Konečná, ale neprejavená) EEntita Súčasný Kráľ Francúzska Existuje. (porovnaj s Entitou [Meno, vedomá chyba] NEexistencia, kde samotný argument popiera existenciu, toho čo má dokazovať).