Mathematics
Logic
Proof theory
Mathematical logic
Deductive reasoning
Natural deduction
Symbol
Differential topology
Generalised Whitehead product
CurryHoward correspondence