Category:Proof theory

{{Commons category}}

{{Cat main}}

{{Contrast|Model theory}}

{{Portal|Mathematics|Philosophy}}

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

*

Category:Mathematical proofs

Category:Metalogic

Category:Syntax (logic)

Category:Theories