Mathematical example for why existential and universal quantifiers must be in certain orders
27104
Confused between Nested Quantifiers
35972
Well ordering principle for rationals
86248
Is $\exists x(x=a)$ a valid formula in first order logic with equality?
22918
What came first, the $\forall$ or the $\exists$?
3119
Distribution of Universal Quantifiers
82169
Why does a partially ordered set need to be reflexive?
58631
Continuity and the Axiom of Choice
76597
Examples of provably${}^n$ unprovable statements
149277
Does well-ordering of the proper class of cardinal numbers imply choice?
66636
Problems with introducing ordered pairs axiomatically
105221
Confusion about Satisfiability by a denumerable sequence.
1508
How do I prove that a definition of an ordered pair does not satisfy the required property?
9493
While proving a universal quantification, we begin by "Let ... in ..." or "Arbitrary choose ..."?
19924
Uncountable ordinals without power set axiom
70196
Is there any well-ordered uncountable set of real numbers under the original ordering?
39333
The meaning of singleton and existence of $\{\varnothing, \{ \varnothing \}\}$
118573
Why is the Axiom of Infinity necessary?