Mathematical logic
Mathematics
Logic
Model theory
Predicate logic
Quantification
Quantifier
First-order logic
Definable set
FO
Grbner basis
Real closed field