Proof Theory Vs Model Theory