## existential quantification

logical quantification stating that a statement holds for at least one object

Wikidata: existential quantificationAgda Unimath: existential quantification (on a subtype)

**mathswitch** — infrastructure for relaying and exchanging mathematical concepts

logical quantification stating that a statement holds for at least one object

Wikidata: existential quantificationAgda Unimath: existential quantification (on a subtype)