Proof theory

The study of formal proofs and their properties.