Logic
Quantification
Mathematical logic
Abstraction
Semantics
Predicate logic
Universal quantification
Existential quantification
Quantifier
FO
Negation
Constructible universe