Text this: A Model-Theoretic Approach to Proof Theory