Title: Mathematical Proof Theory