Questions about analysis of proofs in theories

Proof theory is one of the main branches of logic which studies proofs in various systems and theory manipulations.

The functions in proof theory should also be tagged with .