Bertrand Russell,
Mysticism and Logic and Other Essays
“ As one of the chief triumphs of modern mathematics consists in having discovered what mathematics really is, a few more words on this subject may not be amiss. It is common to start any branch of mathematics—for instance, Geometry—with a certain number of primitive ideas, supposed incapable of definition, and a certain number of primitive propositions or axioms, supposed incapable of proof. Now the fact is that, though there are indefinables and indemonstrables in every branch of applied mathematics, there are none in pure mathematics except such as belong to general logic. ”
