Entailment
Logical consequence
Logical syntax
Metalogic
Coarse structure
Mathematical proof
Logic
Mathematics
Deduction