Definition:Proof Theory

Definition
Proof theory is the subfield of mathematical logic which studies proofs as mathematical objects, thus allowing them to be analysed mathematically.