Title: Model-Theoretic Approach to Proof Theory