Which comes first? Set theory or first order logic?
18364
When does the set enter set theory?
113861
Exist vs exists in mathematics
82169
Why does a partially ordered set need to be reflexive?
144899
Do We Need the Axiom of Choice for Finite Sets?
9066
Whats the difference between Antisymmetric and reflexive? (Set Theory/Discrete math)
130771
Sets and the principle of inclusion and exclusion
95042
Textbooks on set theory
105815
Does proving (second countable) $\Rightarrow$ (Lindelöf) require the axiom of choice?
53199
First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
142045
What's the definition of limit of sets(esp. ordinals) in set theory?
150451
Logic soundness and completeness
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
101741
Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
108922
Cardinality and infinite sets: naturals, integers, rationals, bijections
25553
elementary set theory (cartesian product and symmetric difference proof)
44160
Set theory: difference between belong/contained and includes/subset?
52938
Reference request: Standard textbook for first-order predicate logic in english