Grundzeichen des Prädikatenkalküls oder elementarer Sprachen zur Bezeichnung der Partikularisierung.

Hierfür werden meistens die Symbole ∃ oder v benutzt, gelesen „es gibt ein… “ oder „es existiert ein… “. Die Redeweise „es gibt ein…“ ist in der Mathematik immer als „es gibt wenigstens ein… “ zu verstehen, ansonsten benutzt man die Redeweise „es gibt genau ein… “.