Mathematical logic
Model theory
Entailment
Universal quantification
Μ operator
Linear temporal logic
Logic
Mathematics
Constructible universe