∃

Zusammenfassung

Man nennt eine Aussage der Form

Es gibt ein Objekt mit den Eigenschaften A, B und C

eine Existenzaussage. Wichtig ist hier der Teil „es gibt“; durch eine Existenzaussage wird behauptet, daß es mindestens ein Objekt mit den geforderten Eigenschaften gibt. Es interessiert dabei nicht, ob es genau ein oder fünf Millionen oder unendlich viele solche Objekte gibt. In mathematischer Formelsprache wird dieses „es gibt“ auch durch den Existenzquantor ∃ (oder ∨) ausgedrückt.