\begin{definition}[Definition:Proof Theory]
'''Proof theory''' is the subfield of mathematical logic which studies proofs as mathematical objects, thus allowing them to be analysed mathematically.
\end{definition}