Question about set theory and first order logic
30481
How to avoid perceived circularity when defining a formal language?
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
18364
When does the set enter set theory?
109070
Question about the proof of the distributive property for sets
12404
Union of definable sets
149506
How much set theory and logic should typical algebraists/analysts/geometers know? (soft-question)
96025
Showing there is only one isomorphism between well ordered sets using transfinite induction
89712
For every set $A$, the empty set is a subset of $A$. The empty set is a set. Therefore, the empty set has a cardinality $\geq 1\ldots$
52451
Ordered Triples and Set Theory
101741
Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
43024
Well-ordered sets, properties of an element that is not largest in the set
82009
Prove that every totally ordered set has a well-ordered cofinal subset
44974
Infinite set and countable subsets
123613
Double Complement of a set proof
22804
Interpretation of limsup-liminf of sets
44160
Set theory: difference between belong/contained and includes/subset?
50506
What concept does an open set axiomatise?