Wikimedia Commons has media related to Proof theory.

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