Category:Proof theory

In mathematics, Proof theory is the study of formalized arguments.