On Theorems (1700-1799)

“[…] for the saving the long progression of the thoughts to remote and first principles in every case, the mind should provide itself several stages; that is to say, intermediate principles, which it might have recourse to in the examining those positions that come in its way. These, though they are not self-evident principles, yet, if they have been made out from them by a wary and unquestionable deduction, may be depended on as certain and infallible truths, and serve as unquestionable truths to prove other points depending upon them, by a nearer and shorter view than remote and general maxims. […] And thus mathematicians do, who do not in every new problem run it back to the first axioms through all the whole train of intermediate propositions. Certain theorems that they have settled to themselves upon sure demonstration, serve to resolve to them multitudes of propositions which depend on them, and are as firmly made out from thence as if the mind went afresh over every link of the whole chain that tie them to first self-evident principles.” John Locke, “The Conduct of the Understanding”, 1706)
 
„It may be observed of mathematicians that they only meddle with such things as are certain, passing by those that are doubtful and unknown. They profess not to know all things, neither do they affect to speak of all things. What they know to be true, and can make good by invincible arguments, that they publish and insert among their theorems. Of other things they are silent and pass no judgment at all, choosing rather to acknowledge their ignorance, than affirm anything rashly.“ (Isaac Barrow, „Mathematical Lecture“, 1734)

“One should not be deceived by philosophical works that pretend to be mathematical, but are merely dubious and murky metaphysics. Just because a philosopher can recite the words lemma, theorem and corollary doesn't mean that his work has the certainty of mathematics. That certainty does not derive from big words, or even from the method used by geometers, but rather from the utter simplicity of the objects considered by mathematics.” (Pierre L Maupertuis, "Les Loix du Mouvement et du Repos, déduites d'un Principe Métaphysique", 1746)

“The advantages which mathematics derives from the peculiar nature of those relations about which it is conversant, from its simple and definite phraseology, and from the severe logic so admirably displayed in the concatenation of its innumerable theorems, are indeed immense, and well entitled to separate and ample illustration.” (Dugald Stewart, “Philosophy of the Human Mind”, 1792)

See also:
Theorems I, III, IV, V, VI, VII, VIII, IX, X
Proofs I, II, III, IV, V,. VI, VII, VIII, IX