„Mathematicians have always been convinced that what they prove is ‚true‘. It is clear that such a conviction can be only of a sentimental or metaphysical order, and cannot be justified, or even ascribed a meaning which is not tautological, within the domain of mathematics. The history of the concept of truth in mathematics therefore belongs to the history of philosophy and not of mathematics; but the evolution of this concept has had an undeniable influence on the development of mathematics, and for this reason we cannot pass over it in silence.“ (p. 306f.) #Bourbaki #mathematics #truth