Model theory
Formal languages
Metalogic
First-order logic
Interpretation
Witness
Function
Presburger arithmetic
Well-formed formula
Logic
Mathematics
Mathematical logic