Title: A Model–Theoretic Approach to Proof Theory