Mathematical logic
Model theory
Mathematics
First-order logic
Predicate logic
Constructible universe
VC dimension
Relational model
Metalogic
Congruence lattice problem