Which comes first? Set theory or logic?
48684
Does mathematics become circular at the bottom? What is at the bottom of mathematics?
5293
Show that the logic $ \ \forall x \exists y \ P(x,y) \ $ is not logically equivalent to $ \ \exists x \forall y \ P(x,y) \ $
63687
In Mathematical Logic, What is a Language?
98386
First-order logic and second-order logic confusion
136835
ZF Set Theory - If $|A|^{|B|} = |B|$, then $|A| = 1 = |B|.$
13374
Why is "the set of all sets" a paradox, in Layman's terms?
25553
elementary set theory (cartesian product and symmetric difference proof)
71976
Is every element on a set also a set?
58186
Set theory proof, $\exists g(g\colon A\twoheadrightarrow C)$ or $\exists h(h\colon C\hookrightarrow B)$
14711
set theoretic function, products of sets (product versus Cartesian product)
108155
How can we justify the use of logic?
130771
Sets and the principle of inclusion and exclusion
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
105545
Confused about language and words in logic
40662
What is the definition of a set?
52938
Reference request: Standard textbook for first-order predicate logic in english
9968
First-order logic advantage over second-order logic