Mathematics as a social model:

*The salient feature of syntax is that it is concrete. The question whether a putative proof is indeed a proof is a matter simply of checking. Disputes about the correctness of a proof are quickly settled and the mathematical community reaches permanent consensus. The status, age, and reputation of the parties to the dispute play no role. In this we are singularly blessed.*