Does the universal quantifier express existence?
94415
Existential import: in logic, do propositions default to true or false when objects in them do not exist?
146560
Is there any uncountably infinite set that does not generate the reals?
67892
Infinum & Supremum: An Analysis on Relatedness
82947
Undecidable cardinality
78290
Countable axiom of choice: why you can't prove it from just ZF
78225
Countable additivity implies countable subadditivity?
146188
Why does a proof of $\exists f: X\to Y$ injection $\iff \exists g: Y \to X$ surjection requires the axiom of choice?
71670
Predicates and Quantifiers?
98927
How does CoffeeScript's existential operator work?
147382
"whatever" as pure determiner?
39333
The meaning of singleton and existence of $\{\varnothing, \{ \varnothing \}\}$
55434
Word for "things which exist"
152220
Is it really problematic for Universal Instantiation to precede Existential Instantiation?
22918
What came first, the $\forall$ or the $\exists$?
103112
Does the existential quantifier distribute over an implication?
20030
Is an equivalence an adjunction?
122324
Is there a proof of Gödel's Incompleteness Theorem without self-referential statements?