Proof theory is the mathematical study of formalised arguments.
Template:Catmore
Categories: Mathematical logic
Information