---
tag: 0MSRQHCNN9
kind: concept
name: Existential quantifier
aliases: [there-exists, existential-quantification]
msc: [03B10]
sources:
  - url: https://en.wikipedia.org/wiki/Existential_quantification
    locator: lead section
same_as:
  wikidata: Q773483
  wikipedia: Existential quantification
---

## Summary

The existential quantifier $\exists$ expresses "there exists".
An existentially quantified statement says that a [[predicate|0T3DPBG981]] holds for at least one element of its domain.