How to define Set Theory and First Order Logic without circular reference?
30481
How to avoid perceived circularity when defining a formal language?
50258
How can a set contain itself?
31389
consistency of ZF\{Power Set axiom}
101163
Does there exist a universal formula of first-order logic that is satisfiable only by structures with infinite domains?
9968
First-order logic advantage over second-order logic
32441
How to prove or disprove statements about sets
19138
If every object in math can be reduced to sets, how are tuples explained via sets?
114550
Well-ordering theorem and second-order logic
58186
Set theory proof, $\exists g(g\colon A\twoheadrightarrow C)$ or $\exists h(h\colon C\hookrightarrow B)$
33117
Cyclic containment of sets
49157
First order theory - define a domain with an even number of elements
9330
Meaning behind Filter in Set Theory
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
31212
The existence of the empty set is an axiom of ZFC or not?
132692
Nonempty set mapped to $\emptyset$ and vice-versa
19414
Uncountable subset with uncountable complement, without the Axiom of Choice
14907
Circular References in Java