Mathematics is not merely a database of true propositions. It is also a human epistemic practice: proofs organize concepts, expose dependencies, supply explanations, train intuition, generate methods, and create the common intellectual ground from which further mathematics is done.