Category:Proof theory


 * Proof theory is the mathematical study of formalized arguments.