Qu'est-ce que la démonstration en mathématiques?

La démonstration est un raisonnement qui établit une conclusion nécessaire à partir d'axiomes et de règles logiques. Elle garantit la vérité universelle et nécessaire des propositions mathématiques, indépendamment de l'expérience, selon l'idéal du discours rationnel depuis Euclide.