\part{Fundamentals}
\chapter{Structural proof theory}

Structural proof theory is the study of proof calculi; proof systems that work on a syntactic basis.


Formal proof
Formal theory

Sequent calculus
Hilbert calculus

Sound formal system
Complete formal system
Consistent theory

\begin{theorem}[Cut-elimination theorem]
\end{theorem}
