Proof Theory Mathematics