Category:Proof theory

Wikimedia Commons has media related to Proof theory.
The main article for this category is Proof theory.
This category is often contrasted with Model theory.

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