Proof and truth, therefore, lie on opposite sides of the syntax-semantics divide, for at bottom, a proof is a kind of argument, a collection of assertions structured syntactically in some way, while the truth of an assertion is grounded in deeply semantic issues concerning the way things are.
