Logical syntax
Metalogic
Well-formed formula
Logical connective
FO
Closed world assumption
Logic
Mathematical logic
Mathematics