Mathematical logic
Logic
Predicate logic
Mathematics
Model theory
Semantics
Philosophical logic
First-order logic
FO
Quantifier
Constructible universe
Interpretation