Logical syntax
Philosophical logic
Philosophy of language
Theorems
Axiom
Logic
Mathematics
Logical consequence