First order logic and first order set theory
98386
First-order logic and second-order logic confusion
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
40937
Is the set of partial order relations over $ \mathbb{N}$ countable?
75007
How can I prove this relation between the elementary set theory and the elementary logic?
9330
Meaning behind Filter in Set Theory
29744
Compactness and axiomatisability
54497
Set Notation - Inclusion and Proper Inclusion
91281
Proving the so-called "Well Ordering Principle"
62936
Proving equivalencies of two versions of the Axiom of Choice
24050
Characterization of the Closure of a Set
102025
Use of the term first order dependency
122184
De Morgan's laws in logic and set theory
72371
Proof of Strong Induction Using Well-Ordering Principle
66636
Problems with introducing ordered pairs axiomatically
16796
Zermelo-Fraenkel set theory and Hilbert's axioms for geometry
12539
Set Theory: Equivalency of Axiom of Choice and Choice Function
122506
Relation on countable sets