About apparent circularity in logic and set theory
18364
When does the set enter set theory?
81509
The cardinality of a countable union of countable sets, without the axiom of choice
137921
Reflexivity, Transitivity, Symmertry of the square of an relation
32441
How to prove or disprove statements about sets
31389
consistency of ZF\{Power Set axiom}
32081
The dual version of trichotomy of cardinality without AC
152827
Defeating Russell's paradox
113640
Why is there this strange contradiction between the language of logic and that of set theory?
101163
Does there exist a universal formula of first-order logic that is satisfiable only by structures with infinite domains?
42869
Is $\lor$ definable in intuitionistic logic?
114550
Well-ordering theorem and second-order logic
31392
Examples and Counterexamples of Relations which Satisfy Certain Properties
116135
A paradox related to computable reals?
45878
Elementary Set Theory: Ordinals, Well Orderings and Isomorphisms
151521
Set Theory: Tree Property
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.